summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
30 hoursbpf: Fix NULL deref in map_kptr_match_type for scalar regsMykyta Yatsenko
30 hoursbpf: Allow instructions with arena source and non-arena dest registersEmil Tsalapatis
30 hoursbpf: Enforce regsafe base id consistency for BPF_ADD_CONST scalarsDaniel Borkmann
30 hoursbpf: Relax scalar id equivalence for state pruningPuranjay Mohan
30 hoursbpf: Fix variable length stack write over spilled pointersAlexei Starovoitov
2026-04-11bpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman
2026-04-11bpf: Add third round of bounds deductionPaul Chaignon
2026-04-11bpf: Improve bounds when s64 crosses sign boundaryPaul Chaignon
2026-04-11bpf: reject direct access to nullable PTR_TO_BUF pointersQi Tang
2026-04-11bpf: Fix regsafe() for pointers to packetAlexei Starovoitov
2026-04-02bpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade
2026-03-04bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda
2026-03-04bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan
2025-11-24bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman
2025-11-13bpf: Use tnums for JEQ/JNE is_branch_taken logicPaul Chaignon
2025-11-13bpf: Find eligible subprogs for private stack supportYonghong Song
2025-10-15bpf: Reject negative offsets for ALU opsYazhou Tang
2025-10-02bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang
2025-10-02bpf: Check the helper function is valid in get_helper_protoJiri Olsa
2025-08-20bpf: Make reg_not_null() true for CONST_PTR_TO_MAPIhor Solodrai
2025-08-20bpf: Forget ranges when refining tnum after JSETPaul Chaignon
2025-08-01selftests/bpf: Add tests with stack ptr register in conditional jmpYonghong Song
2025-07-10bpf: Do not include stack ptr register in precision backtracking bookkeepingYonghong Song
2025-07-10bpf: use common instruction history across all statesAndrii Nakryiko
2025-05-29bpf: abort verification if env->cur_state->loop_entry != NULLEduard Zingerman
2025-05-29bpf: copy_verifier_state() should copy 'loop_entry' fieldEduard Zingerman
2025-05-29bpf: don't do clean_live_states when state->loop_entry->branches > 0Eduard Zingerman
2025-05-29bpf: Search and add kfuncs in struct_ops prologue and epilogueAmery Hung
2025-05-02bpf: Reject attaching fexit/fmod_ret to __noreturn functionsYafang Shao
2025-04-25bpf: fix null dereference when computing changes_pkt_data of prog w/o subprogsEduard Zingerman
2025-04-25bpf: check changes_pkt_data property for extension programsEduard Zingerman
2025-04-25bpf: track changes_pkt_data property for global functionsEduard Zingerman
2025-04-25bpf: add find_containing_subprog() utility functionEduard Zingerman
2025-04-10bpf: Fix array bounds error with may_gotoJiayuan Chen
2025-01-09bpf: refactor bpf_helper_changes_pkt_data to use helper numberEduard Zingerman
2025-01-02bpf: Zero index arg error string for dynptr and iterKumar Kartikeya Dwivedi
2025-01-02bpf: Fix bpf_get_smp_processor_id() on !CONFIG_SMPAndrea Righi
2024-12-19bpf: Revert "bpf: Mark raw_tp arguments with PTR_MAYBE_NULL"Kumar Kartikeya Dwivedi
2024-12-14bpf: Fix narrow scalar spill onto 64-bit spilled scalar slotsTao Lyu
2024-12-14bpf: Don't mark STACK_INVALID as STACK_MISC in mark_stack_slot_miscKumar Kartikeya Dwivedi
2024-12-14bpf: Ensure reg is PTR_TO_STACK in process_iter_argTao Lyu
2024-12-05bpf: Allow return values 0 and 1 for kprobe sessionJiri Olsa
2024-12-05bpf: Mark raw_tp arguments with PTR_MAYBE_NULLKumar Kartikeya Dwivedi
2024-12-05bpf: Tighten tail call checks for lingering locks, RCU, preempt_disableKumar Kartikeya Dwivedi
2024-10-29bpf: disallow 40-bytes extra stack for bpf_fastcall patternsEduard Zingerman
2024-10-29bpf: Force checkpoint when jmp history is too longEduard Zingerman
2024-10-23bpf: fix do_misc_fixups() for bpf_get_branch_snapshot()Andrii Nakryiko
2024-10-22bpf: Fix overloading of MEM_UNINIT's meaningDaniel Borkmann
2024-10-17bpf: Fix incorrect delta propagation between linked registersDaniel Borkmann