diff options
| author | Alexei Starovoitov <ast@fb.com> | 2017-08-23 15:10:26 +0100 |
|---|---|---|
| committer | David S. Miller <davem@davemloft.net> | 2017-08-23 22:38:07 -0700 |
| commit | df20cb7ec17577c94ef93fa86c7c80958046a01e (patch) | |
| tree | fdcb349d3344c82114390386044a36da5c8a90da /include/linux/bpf_verifier.h | |
| parent | 63f45f840634ab5fd71bbc07acff915277764068 (diff) | |
| download | linux-next-df20cb7ec17577c94ef93fa86c7c80958046a01e.tar.gz | |
selftests/bpf: add a test for a pruning bug in the verifier
The test makes a read through a map value pointer, then considers pruning
a branch where the register holds an adjusted map value pointer. It
should not prune, but currently it does.
Signed-off-by: Alexei Starovoitov <ast@fb.com>
[ecree@solarflare.com: added test-name and patch description]
Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to 'include/linux/bpf_verifier.h')
0 files changed, 0 insertions, 0 deletions