]> git.baikalelectronics.ru Git - kernel.git/commit
samples: bpf: add a verifier test and summary line
authorAlexei Starovoitov <ast@plumgrid.com>
Tue, 28 Oct 2014 22:11:42 +0000 (15:11 -0700)
committerDavid S. Miller <davem@davemloft.net>
Thu, 30 Oct 2014 19:44:37 +0000 (15:44 -0400)
commitba35e372be6522443c51f724ce2bd987017eb750
tree5af9807e4493d1a8d5cb46f53a87ede0d9b0bfa8
parent50d3d3fddb663834ad5d63286a88e9264ce993af
samples: bpf: add a verifier test and summary line

- add a test specifically targeting verifier state pruning.
It checks state propagation between registers, storing that
state into stack and state pruning algorithm recognizing
equivalent stack and register states.

- add summary line to spot failures easier

Signed-off-by: Alexei Starovoitov <ast@plumgrid.com>
Signed-off-by: David S. Miller <davem@davemloft.net>
samples/bpf/test_verifier.c