]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: eeed34e) | patch
bpf: fix 32-bit ALU op verification
authorJann Horn <jannh@google.com>
Tue, 19 Dec 2017 04:11:56 +0000 (20:11 -0800)
committerDaniel Borkmann <daniel@iogearbox.net>
Thu, 21 Dec 2017 01:15:41 +0000 (02:15 +0100)
commit1803d0ecfd6f5bad9851682afb22a7001c9f352e
tree99734f161dfc9788aa59500058cd5859ac33fab0tree | snapshot
parenteeed34eeb6401345f6d7707ac5eeff6fe5293118commit | diff
bpf: fix 32-bit ALU op verification

32-bit ALU ops operate on 32-bit values and have 32-bit outputs.
Adjust the verifier accordingly.

Fixes: d4b79d1043b4 ("bpf/verifier: rework value tracking")
Signed-off-by: Jann Horn <jannh@google.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
kernel/bpf/verifier.c diff | blob | history
Linux Kernel Source Tree.