summaryrefslogtreecommitdiff
path: root/include/linux/bpf_verifier.h
AgeCommit message (Expand)Author
9 daysbpf: Support 32-bit linear scalar evolutionEduard Zingerman
10 daysbpf: Add unwind_goto and unwind_exit insnsAlexei Starovoitov
11 daysbpf: Turn loads of __arena pointer members into arena pointersKumar Kartikeya Dwivedi
12 daysbpf: Refuse the prologue for an extension if callers keep packet pointersAlexei Starovoitov
13 daysbpf: Drop packet pointers behind kfuncs writing an skbJosef Bacik
13 daysbpf: Check the maps that sleepable callbacks useJosef Bacik
13 daysbpf: Forbid sleeping in hash map for_each callbacksJosef Bacik
2026-10-16bpf: Pack bpf_insn_aux_data flags into bit fieldsYonghong Song
2026-10-15bpf: Avoid duplicate declaration for BPF_SCEV_REGS_NUMEduard Zingerman
2026-10-09bpf: Bpf_func_state size optimizationEduard Zingerman
2026-10-09bpf: Avoid widening registers that hinder exact stack-slot trackingEduard Zingerman
2026-10-09bpf: Use SCEV to widen bounded loopsEduard Zingerman
2026-10-09bpf: Compute scalar evolution expressions for loopsEduard Zingerman
2026-10-09bpf: Allow precision backtracking between overlapping checkpointsEduard Zingerman
2026-10-09bpf: Record basic-block ends in insn_aux_dataEduard Zingerman
2026-10-09bpf: Add bpf_spill_size()Eduard Zingerman
2026-10-09bpf: Add bpf_same_memory_origin()Eduard Zingerman
2026-10-09bpf: Add bpf_split_cur_state()Eduard Zingerman
2026-10-09bpf: Add bpf_reg_union() and bpf_reg_union_compatible()Eduard Zingerman
2026-10-09bpf: Add bpf_mark_reg_known_scalar()Eduard Zingerman
2026-10-09bpf: Add bpf_set_reg_range()Eduard Zingerman
2026-10-09bpf: Compute loop hierarchyEduard Zingerman
2026-10-09bpf: Compute immediate dominatorsEduard Zingerman
2026-10-09bpf: Save DFS postorder numbers for program instructionsEduard Zingerman
2026-10-09bpf: Representation for intervals with stepsEduard Zingerman
2026-10-09bpf: Expose bpf_verbose_snum()Eduard Zingerman
2026-10-09bpf: Expose bpf_grow_stack_state()Eduard Zingerman
2026-10-09bpf: Expose bpf_rev_opcode() and bpf_flip_opcode()Eduard Zingerman
2026-10-09bpf: Add cnum64_intersect_linear()Eduard Zingerman
2026-10-09bpf: Derive global subprog stack liveness from BTF signaturesEduard Zingerman
2026-10-09bpf: Summarize regs that may hold a frame pointer in insn_aux_dataEduard Zingerman
2026-10-09bpf: Summarize live stack slots in insn_aux_dataEduard Zingerman
2026-10-09bpf: Summarize may write stack slots in insn_aux_dataEduard Zingerman
2026-10-09bpf: Describe kfunc stack accesses with arg_access_infoEduard Zingerman
2026-10-09bpf: Describe helper stack accesses with arg_access_infoEduard Zingerman
2026-10-09bpf: Represent stack access effects with arg_access_infoEduard Zingerman
2026-10-03bpf: Treat load and store through a number as arena accessAlexei Starovoitov
2026-10-02bpf: Support per-call-site kfunc specializationEmil Tsalapatis
2026-10-02bpf: Directly store kfunc desc index in instruction off fieldEmil Tsalapatis
2026-09-29bpf: Check global subprog memory arguments in the common pathAmery Hung
2026-09-29bpf: Build argument prototypes for subprog callsAmery Hung
2026-09-25bpf: Cache the jump table of a subprogram during CFG discoveryDaniel Borkmann
2026-09-25bpf: Leave out the hidden exit edge of a subprogram without an exitDaniel Borkmann
2026-09-25bpf: Bound the number of indirect jump edges in a programDaniel Borkmann
2026-09-24bpf: Return the id scratch to a fixed array sized for the stack budgetKumar Kartikeya Dwivedi
2026-09-24bpf: Bound program stack use by a per-program limitKumar Kartikeya Dwivedi
2026-09-24bpf: Size the per-frame verifier structures for a 2 KiB stackKumar Kartikeya Dwivedi
2026-09-24bpf: Grow the verifier id scratch on demandKumar Kartikeya Dwivedi
2026-09-24bpf: Size liveness stack masks by the stack each frame usesKumar Kartikeya Dwivedi
2026-09-24bpf: Track scratched stack slots with a bitmapKumar Kartikeya Dwivedi