Re: [PATCH bpf-next v5 00/10] bpf: add support for KASAN checks in JITed programs

[Ihor Solodrai]

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) <alexis.lothore@xxxxxxxxxxx>
>