| commit | 342ded409608f84fe929216efe0ca2d45e2656be | [log] [tgz] |
|---|---|---|
| author | Alexei Starovoitov <ast@plumgrid.com> | Tue Oct 28 15:11:42 2014 -0700 |
| committer | David S. Miller <davem@davemloft.net> | Thu Oct 30 15:44:37 2014 -0400 |
| tree | 5af9807e4493d1a8d5cb46f53a87ede0d9b0bfa8 | |
| parent | 9c3997601d51069ec08d7d06cf31a17884056cc2 [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>