]> git.baikalelectronics.ru Git - kernel.git/commit
projects / kernel.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 73900f4) | patch
selftests/bpf: verifier precise tests
authorAlexei Starovoitov <ast@kernel.org>
Fri, 23 Aug 2019 05:52:14 +0000 (22:52 -0700)
committerDaniel Borkmann <daniel@iogearbox.net>
Tue, 27 Aug 2019 22:30:11 +0000 (00:30 +0200)
commitb703037f32708b6c937bc7d4b82eb12acfbbf512
tree99c429dbf5139f59f4f63d92d65ced6f24fb544atree | snapshot
parent73900f45985a34ba90caaa510844a5ad363e2fb7commit | diff
selftests/bpf: verifier precise tests

Use BPF_F_TEST_STATE_FREQ flag to check that precision
tracking works as expected by comparing every step it takes.

Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
tools/testing/selftests/bpf/test_verifier.c diff | blob | history
tools/testing/selftests/bpf/verifier/precise.c [new file with mode: 0644] blob
Linux Kernel Source Tree.