summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2025-05-02bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao
2025-01-09Revert "bpf: support non-r10 register spill/fill to/from stack in precision t...Shung-Hsi Yu
2024-12-19bpf: sync_linked_regs() must preserve subreg_defEduard Zingerman
2024-12-14bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu
2024-12-09bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2024-11-17bpf: use kvzmalloc to allocate BPF verifier environmentRik van Riel
2024-11-08bpf: Force checkpoint when jmp history is too longEduard Zingerman
2024-11-01bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann
2024-11-01bpf: Simplify checking size of helper accessesAndrei Matei
2024-11-01bpf: Fix truncation bug in coerce_reg_to_size_sx()Dimitar Kanaliev
2024-11-01bpf: fix kfunc btf caching for modulesToke Høiland-Jørgensen
2024-10-10bpf: Make the pointer returned by iter next method validJuntong Deng
2024-10-04bpf: Improve check_raw_mode_ok test for MEM_UNINIT-tagged typesDaniel Borkmann
2024-10-04bpf: Fix helper writes to read-only mapsDaniel Borkmann
2024-09-12bpf, verifier: Correct tail_call_reachable for bpf progLeon Hwang
2024-08-29bpf: Fix a kernel verifier crash in stacksafe()Yonghong Song
2024-07-09Revert "bpf: Take return from set_memory_ro() into account with bpf_prog_lock...Greg Kroah-Hartman
2024-07-05bpf: Take return from set_memory_ro() into account with bpf_prog_lock_ro()Christophe Leroy
2024-07-05bpf: Add missed var_off setting in coerce_subreg_to_size_sx()Yonghong Song
2024-07-05bpf: Add missed var_off setting in set_sext32_default_val()Yonghong Song
2024-06-21bpf: Optimize the free of inner mapHou Tao
2024-06-12bpf: Allow delete from sockmap/sockhash only if update is allowedJakub Sitnicki
2024-06-12bpf: Fix verifier assumptions about socket->skAlexei Starovoitov
2024-06-12bpf: prevent r10 register from being marked as preciseAndrii Nakryiko
2024-05-17bpf: Fix a verifier verbose messageAnton Protopopov
2024-04-10bpf: Protect against int overflow for stack access sizeAndrei Matei
2024-03-15bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman
2024-01-31bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2024-01-31bpf: widening for callback iteratorsEduard Zingerman
2024-01-31bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman
2024-01-31bpf: extract setup_func_entry() utility functionEduard Zingerman
2024-01-31bpf: extract __check_reg_arg() utility functionEduard Zingerman
2024-01-31bpf: print full verifier states on infinite loop detectionEduard Zingerman
2024-01-31bpf: correct loop detection for iterators convergenceEduard Zingerman
2024-01-31bpf: exact states comparison for iterator convergence checksEduard Zingerman
2024-01-31bpf: extract same_callsites() as utility functionEduard Zingerman
2024-01-31bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman
2024-01-25bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun
2024-01-25bpf: Fix accesses to uninit stack slotsAndrei Matei
2024-01-25bpf: Guard stack limits against 32bit overflowAndrei Matei
2024-01-25bpf: Fix verification of indirect var-off stack accessAndrei Matei
2024-01-25bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko
2024-01-25bpf: enforce precision of R0 on callback returnAndrii Nakryiko
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun
2023-11-28bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko
2023-11-28bpf: fix precision backtracking instruction iterationAndrii Nakryiko
2023-11-28bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko
2023-11-28bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko
2023-11-20bpf: Fix kfunc callback register type handlingKumar Kartikeya Dwivedi