summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
31 hoursbpf: Fix u32/s32 bounds when ranges cross min/max boundaryEduard Zingerman1-0/+24
31 hoursbpf: Fix unsound scalar forking in maybe_fork_scalars() for BPF_ORDaniel Wade1-1/+1
31 hoursbpf: Fix exception exit lock checking for subprogsIhor Solodrai1-1/+2
31 hoursbpf: Reset register ID for BPF_END value trackingYazhou Tang1-0/+7
2026-03-19bpf: drop kthread_exit from noreturn_denyChristian Loehle1-1/+0
2026-03-12bpf: collect only live registers in linked regsEduard Zingerman1-3/+10
2026-03-12bpf: Improve bounds when tnum has a single possible valuePaul Chaignon1-0/+30
2026-03-12bpf: Add bitwise tracking for BPF_ENDTianci Cao1-3/+57
2026-03-04bpf: Properly mark live registers for indirect jumpsAnton Protopopov1-0/+6
2026-03-04bpf: Recognize special arithmetic shift in the verifierAlexei Starovoitov1-0/+39
2026-03-04bpf: verifier improvement in 32bit shift sign extension patternCupertino Miranda1-11/+7
2026-02-26bpf: Add a map/btf from a fd array more consistentlyAnton Protopopov1-2/+4
2026-02-26bpf: Fix a potential use-after-free of BTF objectAnton Protopopov1-26/+26
2026-02-26bpf: Fix verifier_bug_if to account for BPF_CALLLuis Gerhorst1-6/+8
2026-02-26bpf: Preserve id of register in sync_linked_regs()Puranjay Mohan1-1/+3
2025-12-18bpf: properly verify tail call behaviorMartin Teichmann1-3/+28
2025-12-18bpf: Fix handling maps with no BTF and non-constant offsets for the bpf_wqMykyta Yatsenko1-5/+12
2025-12-18bpf: Fix sleepable context for async callbacksKumar Kartikeya Dwivedi1-11/+30
2025-11-14bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman1-2/+4
2025-11-04bpf:add _impl suffix for bpf_task_work_schedule* kfuncsMykyta Yatsenko1-6/+6
2025-10-01bpf: Reject negative offsets for ALU opsYazhou Tang1-2/+2
2025-10-01bpf: Skip scalar adjustment for BPF_NEG if dst is a pointerBrahmajit Das1-1/+2
2025-09-30Merge tag 'bpf-next-6.18' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds1-465/+404
2025-09-30Merge tag 'sched-core-2025-09-26' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds1-0/+1
2025-09-25sched: Make migrate_{en,dis}able() inlineMenglong Dong1-0/+1
2025-09-23Merge branch 'bpf-next/xdp_pull_data' into 'bpf-next/master'Martin KaFai Lau1-0/+13
2025-09-23bpf: Clear packet pointers after changing packet data in kfuncsAmery Hung1-0/+13
2025-09-23bpf, x86: Add support for signed arena loadsKumar Kartikeya Dwivedi1-3/+8
2025-09-23bpf: bpf task work plumbingMykyta Yatsenko1-6/+111
2025-09-23bpf: verifier: permit non-zero returns from async callbacksMykyta Yatsenko1-3/+2
2025-09-23bpf: extract generic helper from process_timer_func()Mykyta Yatsenko1-11/+36
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman1-71/+1
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman1-294/+21
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman1-0/+9
2025-09-19bpf: enable callchain sensitive stack liveness trackingEduard Zingerman1-8/+53
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman1-13/+55
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman1-18/+16
2025-09-19bpf: remove redundant REG_LIVE_READ check in stacksafe()Eduard Zingerman1-7/+0
2025-09-19bpf: use compute_live_registers() info in clean_func_stateEduard Zingerman1-6/+9
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman1-9/+4
2025-09-18bpf: Implement exclusive map creationKP Singh1-0/+6
2025-09-18bpf: Enforce RCU protection for KF_RCU_PROTECTEDKumar Kartikeya Dwivedi1-0/+10
2025-09-17bpf: dont report verifier bug for missing bpf_scc_visit on speculative pathEduard Zingerman1-3/+18
2025-09-15bpf: potential double-free of env->insn_aux_dataEduard Zingerman1-1/+0
2025-09-11bpf: core: introduce main_prog_aux for stream accessPuranjay Mohan1-0/+1
2025-09-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5Alexei Starovoitov1-1/+5
2025-09-10bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang1-0/+4
2025-09-02bpf: Replace kvfree with kfree for kzalloc memoryFeng Yang1-2/+2
2025-08-22bpf: Use tnums for JEQ/JNE is_branch_taken logicPaul Chaignon1-0/+4
2025-08-18Merge branch 'bpf-next/skb-meta-dynptr' into 'bpf-next/master'Martin KaFai Lau1-2/+13