linux_dsm_epyc7002/tools/testing
Josef Bacik e95489010b bpf: add test for the verifier equal logic bug
This is a test to verify that

bpf: fix states equal logic for varlen access

actually fixed the problem.  The problem was if the register we added to our map
register was UNKNOWN in both the false and true branches and the only thing that
changed was the range then we'd incorrectly assume that the true branch was
valid, which it really wasnt.  This tests this case and properly fails without
my fix in place and passes with it in place.

Signed-off-by: Josef Bacik <jbacik@fb.com>
Acked-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
2016-11-30 14:51:54 -05:00
..
fault-injection
ktest
nvdimm Merge branch 'akpm' (patches from Andrew) 2016-10-11 17:34:10 -07:00
radix-tree radix-tree tests: properly initialize mutex 2016-10-11 15:06:30 -07:00
selftests bpf: add test for the verifier equal logic bug 2016-11-30 14:51:54 -05:00