diff options
| author | Jann Horn <[email protected]> | 2017-12-19 04:11:59 +0000 |
|---|---|---|
| committer | Daniel Borkmann <[email protected]> | 2017-12-21 01:15:41 +0000 |
| commit | 179d1c5602997fef5a940c6ddcf31212cbfebd14 (patch) | |
| tree | 67a91e768530270c4ba22747afde33fc23b40cf1 /lib/timerqueue.c | |
| parent | bpf: force strict alignment checks for stack pointers (diff) | |
| download | kernel-179d1c5602997fef5a940c6ddcf31212cbfebd14.tar.gz kernel-179d1c5602997fef5a940c6ddcf31212cbfebd14.zip | |
bpf: don't prune branches when a scalar is replaced with a pointer
This could be made safe by passing through a reference to env and checking
for env->allow_ptr_leaks, but it would only work one way and is probably
not worth the hassle - not doing it will not directly lead to program
rejection.
Fixes: f1174f77b50c ("bpf/verifier: rework value tracking")
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/timerqueue.c')
0 files changed, 0 insertions, 0 deletions