KASAN для BPF JIT: ловить баги в сгенерированном коде
На LSF/MM/BPF Summit Алексис Лоторе рассказал, как прикрутить KASAN к JIT-компилируемому BPF-коду. Идея простая и приятная: memory checker должен видеть не только интерпретированный BPF, но и то, что после JIT реально летит в ядро, чтобы ловить ошибки компилятора и рантайма. Для ядра это тот случай, когда инструмент отладки наконец догоняет место, где баги обычно и прячутся.