mirror of
https://mirrors.bfsu.edu.cn/git/linux.git
synced 2024-11-13 14:24:11 +08:00
1fb315892d
The test added is a simplified reproducer from syzbot report [1]. If verifier does not insert checkpoint somewhere inside the loop, verification of the program would take a very long time. This would happen because mark_chain_precision() for register r7 would constantly trace jump history of the loop back, processing many iterations for each mark_chain_precision() call. [1] https://lore.kernel.org/bpf/670429f6.050a0220.49194.0517.GAE@google.com/ Signed-off-by: Eduard Zingerman <eddyz87@gmail.com> Signed-off-by: Andrii Nakryiko <andrii@kernel.org> Acked-by: Daniel Borkmann <daniel@iogearbox.net> Link: https://lore.kernel.org/bpf/20241029172641.1042523-2-eddyz87@gmail.com
19 lines
335 B
INI
19 lines
335 B
INI
# pre-canned list of rather complex selftests/bpf BPF object files to monitor
|
|
# BPF verifier's performance on
|
|
bpf_flow*
|
|
bpf_loop_bench*
|
|
loop*
|
|
netif_receive_skb*
|
|
profiler*
|
|
pyperf*
|
|
strobemeta*
|
|
test_cls_redirect*
|
|
test_l4lb
|
|
test_sysctl*
|
|
test_tcp_hdr_*
|
|
test_usdt*
|
|
test_verif_scale*
|
|
test_xdp_noinline*
|
|
xdp_synproxy*
|
|
verifier_search_pruning*
|