]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a58e82d) | 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)
commitc70a8a4d790f28cb0e0097f60020a1eb42f0a8dd
treecd6f1361dd6c9f5eebe588564b5c219d53bde661tree | snapshot
parenta58e82de9461478ff3ba2f87f52d8f24055c6f40commit | 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.