projects / GitHub / MotorolaMobilityLLC / kernel-slsi.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9c39976) | patch
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)
commit342ded409608f84fe929216efe0ca2d45e2656be
tree5af9807e4493d1a8d5cb46f53a87ede0d9b0bfa8tree | snapshot (tar.gz zip)
parent9c3997601d51069ec08d7d06cf31a17884056cc2commit | diff
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 diff | blob | blame | history
Motorola kernel-slsi