]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1af1112) | patch
bpf, selftests: Add verifier test for mem_or_null register with offset.
authorDaniel Borkmann <daniel@iogearbox.net>
Wed, 5 Jan 2022 19:33:34 +0000 (11:33 -0800)
committerAlexei Starovoitov <ast@kernel.org>
Wed, 5 Jan 2022 20:00:19 +0000 (12:00 -0800)
commit88a0425c15f2b95d6317bc3143bf3d27f46f3310
treecd6f1361dd6c9f5eebe588564b5c219d53bde661tree | snapshot
parent1af1112ddccce822855d9bec807721fb1e65c35bcommit | diff
bpf, selftests: Add verifier test for mem_or_null register with offset.

Add a new test case with mem_or_null typed register with off > 0 to ensure
it gets rejected by the verifier:

  # ./test_verifier 1011
  #1009/u check with invalid reg offset 0 OK
  #1009/p check with invalid reg offset 0 OK
  Summary: 2 PASSED, 0 SKIPPED, 0 FAILED

Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/spill_fill.c diff | blob | history
Linux Kernel Source Tree.