kernel/tools/testing/selftests/bpf/verifier/loops1.c, branch linux-6.2.yHosts the 0x221E linux distro kernel.https://universe.0xinfinity.dev/distro/kernel/atom?h=linux-6.2.y2019-10-04T19:27:36Zbpf: Add loop test case with 32 bit reg comparison against 02019-10-04T19:27:36ZDaniel Borkmanndaniel@iogearbox.net2019-10-02T23:45:12Zurn:sha1:4bbbf164f1a5e970543dcdb7a396fc1cf477725b
Add a loop test with 32 bit register against 0 immediate:
# ./test_verifier 631
#631/p taken loop with back jump to 1st insn, 2 OK
Disassembly:
[...]
1b: test %edi,%edi
1d: jne 0x0000000000000014
[...]
Pretty much similar to prior "taken loop with back jump to 1st
insn" test case just as jmp32 variant.
Signed-off-by: Daniel Borkmann <daniel@iogearbox.net>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
Acked-by: Song Liu <songliubraving@fb.com>
selftests/bpf: tests for jmp to 1st insn2019-08-01T20:14:29ZAlexei Starovoitovast@kernel.org2019-07-31T01:38:27Zurn:sha1:f1fc7249dddc0e52d9e805e2e661caa118649509
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 loops2019-06-19T00:22:52ZAlexei Starovoitovast@kernel.org2019-06-15T19:12:23Zurn:sha1:0d3679e99ae4b7868da22e3b8540fd597df501f5
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>