projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2af30f1) | patch
bpf: Check scalar or invalid register in check_helper_mem_access
authorLorenz Bauer <lmb@cloudflare.com>
Mon, 21 Sep 2020 12:12:18 +0000 (13:12 +0100)
committerAlexei Starovoitov <ast@kernel.org>
Mon, 21 Sep 2020 22:00:40 +0000 (15:00 -0700)
commit0d004c020b5574e51f7a525e57d2a11958b334b5
treeaf1c170427677e73f706402346add1c61f3046a9tree | snapshot
parent2af30f115d6957f372ce3096c7198763ff253d97commit | diff
bpf: Check scalar or invalid register in check_helper_mem_access

Move the check for a NULL or zero register to check_helper_mem_access. This
makes check_stack_boundary easier to understand.

Signed-off-by: Lorenz Bauer <lmb@cloudflare.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Andrii Nakryiko <andriin@fb.com>
Link: https://lore.kernel.org/bpf/20200921121227.255763-3-lmb@cloudflare.com
kernel/bpf/verifier.c diff | blob | history