diff options
| author |   Alexei Starovoitov <ast@fb.com> | 2017-08-23 15:10:26 +0100 |
|---|---|---|
| committer |   David S. Miller <davem@davemloft.net> | 2017-08-23 22:38:07 -0700 |
| commit | df20cb7ec17577c94ef93fa86c7c80958046a01e (patch) | |
| tree | fdcb349d3344c82114390386044a36da5c8a90da /Documentation/networking | |
| parent | bpf/verifier: when pruning a branch, ignore its write marks (diff) | |
| download | linux-dev-df20cb7ec17577c94ef93fa86c7c80958046a01e.tar.xz linux-dev-df20cb7ec17577c94ef93fa86c7c80958046a01e.zip | |
selftests/bpf: add a test for a pruning bug in the verifier
The test makes a read through a map value pointer, then considers pruning
a branch where the register holds an adjusted map value pointer. It
should not prune, but currently it does.
Signed-off-by: Alexei Starovoitov <ast@fb.com>
[ecree@solarflare.com: added test-name and patch description]
Signed-off-by: Edward Cree <ecree@solarflare.com>
Acked-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: David S. Miller <davem@davemloft.net>
Diffstat (limited to '')
0 files changed, 0 insertions, 0 deletions