summaryrefslogtreecommitdiffstats
path: root/tools/testing/selftests/bpf/verifier/loops1.c
Commit message (Collapse)AuthorAgeFilesLines
* selftests/bpf: tests for jmp to 1st insnAlexei Starovoitov2019-08-011-0/+28
| | | | | | | | | | | | Add 2 tests that check JIT code generation to jumps to 1st insn. 1st test is similar to syzbot reproducer. The backwards branch is never taken at runtime. 2nd test has branch to 1st insn that executes. The test is written as two bpf functions, since it's not possible to construct valid single bpf program that jumps to 1st insn. Signed-off-by: Alexei Starovoitov <ast@kernel.org> Acked-by: Song Liu <songliubraving@fb.com>
* selftests/bpf: add basic verifier tests for loopsAlexei Starovoitov2019-06-191-0/+161
This set of tests is a rewrite of Edward's earlier tests: https://patchwork.ozlabs.org/patch/877221/ Signed-off-by: Alexei Starovoitov <ast@kernel.org> Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>