On 7/9/26 3:01 AM, Alexis Lothoré (eBPF Foundation) wrote: > Hello, > this is v5 of the series aiming to bring basic support for KASAN checks > to BPF JITed programs. > > [...]
Hi Alexis, I started reviewing this revision today, but didn't get through everything. Sending a few comments in a bit, will continue tomorrow. Thank you for working on it. > > --- > Alexis Lothoré (eBPF Foundation) (10): > bpf: propagate original instruction offset when patching program > bpf: mark instructions accessing program stack > bpf: add BPF_JIT_KASAN for KASAN instrumentation of JITed programs > bpf, x86: add helper to emit kasan checks in x86 JITed programs > bpf, x86: refactor BPF_ST management in do_jit > bpf, x86: emit KASAN checks into x86 JITed programs > bpf, x86: enable KASAN for JITed programs on x86 > selftests/bpf: add helpers for KASAN in JIT testing > selftests/bpf: move bpf_jit_harden helper into testing_helpers > selftests/bpf: add tests to validate KASAN on JIT programs > > arch/x86/Kconfig | 1 + > arch/x86/net/bpf_jit_comp.c | 271 ++++++++++--- > include/linux/bpf_verifier.h | 2 + > include/linux/filter.h | 10 +- > kernel/bpf/Kconfig | 17 + > kernel/bpf/core.c | 2 +- > kernel/bpf/fixups.c | 132 +++++-- > kernel/bpf/verifier.c | 9 + > .../selftests/bpf/prog_tests/bpf_insn_array.c | 44 +-- > tools/testing/selftests/bpf/prog_tests/kasan.c | 430 > +++++++++++++++++++++ > tools/testing/selftests/bpf/progs/kasan.c | 394 +++++++++++++++++++ > tools/testing/selftests/bpf/progs/kasan_harden.c | 41 ++ > .../testing/selftests/bpf/test_kmods/bpf_testmod.c | 22 ++ > tools/testing/selftests/bpf/testing_helpers.c | 32 ++ > tools/testing/selftests/bpf/testing_helpers.h | 1 + > tools/testing/selftests/bpf/unpriv_helpers.c | 10 + > tools/testing/selftests/bpf/unpriv_helpers.h | 2 + > 17 files changed, 1288 insertions(+), 132 deletions(-) > --- > base-commit: 950d646b505ae37ee75f4c2b11d41e7190036c42 > change-id: 20260126-kasan-fcd68f64cd7b > > Best regards, > -- > Alexis Lothoré (eBPF Foundation) <[email protected]> >
