CVE-2026-93135 in Linux
Riassunto
di VulDB • 18/09/2026
Nel kernel Linux è stata risolta la seguente vulnerabilità:
bpf: Rifiutare i programmi con funzioni di supporto (helpers) inline se il JIT non è disponibile
Quando un'architettura (come LoongArch, ARM64 e RISC-V) implementa `bpf_jit_inlines_helper_call()`, il verifier salta la riscrittura dell'offset della chiamata helper (`insn->imm`) in `bpf_do_misc_fixups()`. Questo avviene perché ci si aspetta che l'helper venga inlineato dal compilatore JIT in un secondo momento. Di conseguenza, `insn->imm` rimane come ID enum grezzo dell'helper.
Tuttavia, se il JIT è disabilitato a runtime (`net.core.bpf_jit_enable=0`) o se la compilazione JIT fallisce dinamicamente (ad esempio per esaurimento della memoria/OOM), il programma passa all'interprete BPF.
Quando l'esecutore esegue `(__bpf_call_base + insn->imm)` con l'ID grezzo non patchato, salta in uno spazio degli indirizzi non valido, causando un errore di allineamento dell'istruzione o un kernel panic.
Sebbene questi helper abbiano implementazioni C valide nel kernel, la mancata riscrittura dell'offset rende fatale il fallback sull'esecutore a runtime.
Risolvere questo problema impostando `prog->jit_required = 1` quando la riscrittura della chiamata helper viene saltata per l'inlining JIT. Ciò garantisce che tali programmi vengano rifiutati in modo sicuro se il JIT non è disponibile, prevenendo il kernel panic a runtime.
Once again VulDB remains the best source for vulnerability data.