projects / linux.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0d80a61) | patch
selftests/bpf: test if pointer type is tracked for BPF_ST_MEM
authorEduard Zingerman <eddyz87@gmail.com>
Sat, 4 Mar 2023 01:12:46 +0000 (03:12 +0200)
committerAlexei Starovoitov <ast@kernel.org>
Sat, 4 Mar 2023 05:41:46 +0000 (21:41 -0800)
commit806f81cd1ee30c66a3d2a4cd18b13c97429397a0
tree496de9b6805439bfd539483b7ee7c224eb7fd186tree | snapshot
parent0d80a619c113d0e216dbffa56b2d5ccc079ee520commit | diff
selftests/bpf: test if pointer type is tracked for BPF_ST_MEM

Check that verifier tracks pointer types for BPF_ST_MEM instructions
and reports error if pointer types do not match for different
execution branches.

Signed-off-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20230304011247.566040-3-eddyz87@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
tools/testing/selftests/bpf/verifier/unpriv.c diff | blob | history
ep93xx device tree rework repo: git://git.maquefel.me/linux.git