lwn.git/tools/testing/selftests/bpf/verifier/junk_insn.c, branch masterLinux kernel documentation tree maintained by Jonathan Corbethttp://mirrors.hust.edu.cn/git/lwn.git/atom?h=master2026-04-11T22:24:41+00:00bpf: Move checks for reserved fields out of the main pass2026-04-11T22:24:41+00:00Alexei Starovoitovast@kernel.org2026-04-11T20:09:32+00:00urn:sha1:ae3f8ca2ba505d62173bb2f6bf6f6edf951b909e
Check reserved fields of each insn once in a prepass
instead of repeatedly rechecking them during the main verifier pass.
Link: https://lore.kernel.org/r/20260411200932.41797-1-alexei.starovoitov@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
bpf: Do register range validation early2026-04-03T15:34:26+00:00Alexei Starovoitovast@kernel.org2026-04-03T02:44:16+00:00urn:sha1:503d21ef8eac1437d76919921115acf0aef328a0
Instead of checking src/dst range multiple times during
the main verifier pass do them once.
Acked-by: Eduard Zingerman <eddyz87@gmail.com>
Link: https://lore.kernel.org/r/20260403024422.87231-2-alexei.starovoitov@gmail.com
Signed-off-by: Alexei Starovoitov <ast@kernel.org>
selftests: bpf: break up test_verifier2019-01-28T05:37:45+00:00Jakub Kicinskijakub.kicinski@netronome.com2019-01-25T23:24:43+00:00urn:sha1:40f2fbd5a5e9c6d0799632fcba174a7b45c471da
Break up the first 10 kLoC of test verifier test cases
out into smaller files. Looks like git line counting
gets a little flismy above 16 bit integers, so we need
two commits to break up test_verifier.
Signed-off-by: Jakub Kicinski <jakub.kicinski@netronome.com>
Acked-by: Jiong Wang <jiong.wang@netronome.com>
Signed-off-by: Alexei Starovoitov <ast@kernel.org>