linux-sg2042/kernel/bpf
Alexei Starovoitov 32bf08a625 bpf: fix bug in eBPF verifier
while comparing for verifier state equivalency the comparison
was missing a check for uninitialized register.
Make sure it does so and add a testcase.

Fixes: f1bca824da ("bpf: add search pruning optimization to verifier")
Cc: Hannes Frederic Sowa <hannes@stressinduktion.org>
Signed-off-by: Alexei Starovoitov <ast@plumgrid.com>
Acked-by: Hannes Frederic Sowa <hannes@stressinduktion.org>
Signed-off-by: David S. Miller <davem@davemloft.net>
2014-10-21 21:43:46 -04:00
..
Makefile bpf: mini eBPF library, test stubs and verifier testsuite 2014-09-26 15:05:15 -04:00
core.c bpf: expand BPF syscall with program load/unload 2014-09-26 15:05:14 -04:00
syscall.c bpf: verifier (add ability to receive verification log) 2014-09-26 15:05:15 -04:00
test_stub.c bpf: mini eBPF library, test stubs and verifier testsuite 2014-09-26 15:05:15 -04:00
verifier.c bpf: fix bug in eBPF verifier 2014-10-21 21:43:46 -04:00