diff options
| author |   Alexei Starovoitov <ast@kernel.org> | 2019-08-22 22:52:12 -0700 |
|---|---|---|
| committer |   Daniel Borkmann <daniel@iogearbox.net> | 2019-08-28 00:30:11 +0200 |
| commit | 10d274e880eb208ec6a76261a9f8f8155020f771 (patch) | |
| tree | 5188b50b171df8b2d1528ec60d2ec69cb2e775d5 /include/linux/bpf_verifier.h | |
| parent | tools: bpftool: add "bpftool map freeze" subcommand (diff) | |
| download | linux-dev-10d274e880eb208ec6a76261a9f8f8155020f771.tar.xz linux-dev-10d274e880eb208ec6a76261a9f8f8155020f771.zip | |
bpf: introduce verifier internal test flag
Introduce BPF_F_TEST_STATE_FREQ flag to stress test parentage chain
and state pruning.
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Diffstat (limited to '')
| -rw-r--r-- | include/linux/bpf_verifier.h | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/include/linux/bpf_verifier.h b/include/linux/bpf_verifier.h index 5fe99f322b1c..26a6d58ca78c 100644 --- a/include/linux/bpf_verifier.h +++ b/include/linux/bpf_verifier.h @@ -355,6 +355,7 @@ struct bpf_verifier_env { struct bpf_verifier_stack_elem *head; /* stack of verifier states to be processed */ int stack_size; /* number of states to be processed */ bool strict_alignment; /* perform strict pointer alignment checks */ + bool test_state_freq; /* test verifier with different pruning frequency */ struct bpf_verifier_state *cur_state; /* current verifier state */ struct bpf_verifier_state_list **explored_states; /* search pruning optimization */ struct bpf_verifier_state_list *free_list; |