diff options
author | Edward Cree <ecree@solarflare.com> | 2017-07-21 14:36:57 +0100 |
---|---|---|
committer | David S. Miller <davem@davemloft.net> | 2017-07-24 14:02:55 -0700 |
commit | 545722cb0fc993226a01844fb27cf832459eb1c0 (patch) | |
tree | 4797885bb9959ee5a792938e42fa927522bf8719 /kernel | |
parent | 70dba204a396c1c094749c4ef9bd27d5e8176a08 (diff) | |
download | blackbird-obmc-linux-545722cb0fc993226a01844fb27cf832459eb1c0.tar.gz blackbird-obmc-linux-545722cb0fc993226a01844fb27cf832459eb1c0.zip |
selftests/bpf: subtraction bounds test
There is a bug in the verifier's handling of BPF_SUB: [a,b] - [c,d] yields
was [a-c, b-d] rather than the correct [a-d, b-c]. So here is a test
which, with the bogus handling, will produce ranges of [0,0] and thus
allowed accesses; whereas the correct handling will give a range of
[-255, 255] (and hence the right-shift will give a range of [0, 255]) and
the accesses will be rejected.
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 'kernel')
0 files changed, 0 insertions, 0 deletions