selftests/bpf: add a test for a pruning bug in the verifier

Browse source

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>

...

This commit is contained in:

Alexei Starovoitov 2017-08-23 15:10:26 +01:00 • committed by David S. Miller

parent 63f45f8406

commit df20cb7ec1

1 changed files with 28 additions and 0 deletions

Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL

Download patch file Download diff file Expand all files Collapse all files

28

tools/testing/selftests/bpf/test_verifier.c

View file