diff options
| author | Edward Cree <[email protected]> | 2017-12-18 20:11:53 -0800 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2017-12-21 02:15:41 +0100 |
| commit | 4374f256ce8182019353c0c639bb8d0695b4c941 (patch) | |
| tree | 8cc5cc5ecf8b7b1414810542b540b9b7bb3831e6 /lib/test_overflow.c | |
| parent | 19c832ed9b8f7b49fa5eeef06b4338af5fe5c1dc (diff) | |
bpf/verifier: fix bounds calculation on BPF_RSH
Incorrect signed bounds were being computed.
If the old upper signed bound was positive and the old lower signed bound was
negative, this could cause the new upper signed bound to be too low,
leading to security issues.
Fixes: b03c9f9fdc37 ("bpf/verifier: track signed and unsigned min/max values")
Reported-by: Jann Horn <[email protected]>
Signed-off-by: Edward Cree <[email protected]>
Acked-by: Alexei Starovoitov <[email protected]>
[[email protected]: changed description to reflect bug impact]
Signed-off-by: Jann Horn <[email protected]>
Signed-off-by: Alexei Starovoitov <[email protected]>
Signed-off-by: Daniel Borkmann <[email protected]>
Diffstat (limited to 'lib/test_overflow.c')
0 files changed, 0 insertions, 0 deletions