summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2025-11-14bpf: account for current allocated stack depth in widen_imprecise_scalars()Eduard Zingerman-2/+4
2025-11-04bpf:add _impl suffix for bpf_task_work_schedule* kfuncsMykyta Yatsenko-6/+6
2025-10-01bpf: Reject negative offsets for ALU opsYazhou Tang-2/+2
2025-10-01bpf: Skip scalar adjustment for BPF_NEG if dst is a pointerBrahmajit Das-1/+2
2025-09-30Merge tag 'bpf-next-6.18' of git://git.kernel.org/pub/scm/linux/kernel/git/bp...Linus Torvalds-465/+404
2025-09-30Merge tag 'sched-core-2025-09-26' of git://git.kernel.org/pub/scm/linux/kerne...Linus Torvalds-0/+1
2025-09-25sched: Make migrate_{en,dis}able() inlineMenglong Dong-0/+1
2025-09-23Merge branch 'bpf-next/xdp_pull_data' into 'bpf-next/master'Martin KaFai Lau-0/+13
2025-09-23bpf: Clear packet pointers after changing packet data in kfuncsAmery Hung-0/+13
2025-09-23bpf, x86: Add support for signed arena loadsKumar Kartikeya Dwivedi-3/+8
2025-09-23bpf: bpf task work plumbingMykyta Yatsenko-6/+111
2025-09-23bpf: verifier: permit non-zero returns from async callbacksMykyta Yatsenko-3/+2
2025-09-23bpf: extract generic helper from process_timer_func()Mykyta Yatsenko-11/+36
2025-09-19bpf: table based bpf_insn_successors()Eduard Zingerman-71/+1
2025-09-19bpf: disable and remove registers chain based livenessEduard Zingerman-294/+21
2025-09-19bpf: signal error if old liveness is more conservative than newEduard Zingerman-0/+9
2025-09-19bpf: enable callchain sensitive stack liveness trackingEduard Zingerman-8/+53
2025-09-19bpf: compute instructions postorder per subprogramEduard Zingerman-13/+55
2025-09-19bpf: declare a few utility functions as internal apiEduard Zingerman-18/+16
2025-09-19bpf: remove redundant REG_LIVE_READ check in stacksafe()Eduard Zingerman-7/+0
2025-09-19bpf: use compute_live_registers() info in clean_func_stateEduard Zingerman-6/+9
2025-09-19bpf: bpf_verifier_state->cleaned flag instead of REG_LIVE_DONEEduard Zingerman-9/+4
2025-09-18bpf: Implement exclusive map creationKP Singh-0/+6
2025-09-18bpf: Enforce RCU protection for KF_RCU_PROTECTEDKumar Kartikeya Dwivedi-0/+10
2025-09-17bpf: dont report verifier bug for missing bpf_scc_visit on speculative pathEduard Zingerman-3/+18
2025-09-15bpf: potential double-free of env->insn_aux_dataEduard Zingerman-1/+0
2025-09-11bpf: core: introduce main_prog_aux for stream accessPuranjay Mohan-0/+1
2025-09-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc5Alexei Starovoitov-1/+5
2025-09-10bpf: Reject bpf_timer for PREEMPT_RTLeon Hwang-0/+4
2025-09-02bpf: Replace kvfree with kfree for kzalloc memoryFeng Yang-2/+2
2025-08-22bpf: Use tnums for JEQ/JNE is_branch_taken logicPaul Chaignon-0/+4
2025-08-18Merge branch 'bpf-next/skb-meta-dynptr' into 'bpf-next/master'Martin KaFai Lau-2/+13
2025-08-18bpf: Add dynptr type for skb metadataJakub Sitnicki-2/+13
2025-08-18bpf: Add a verbose message when the BTF limit is reachedAnton Protopopov-1/+4
2025-08-15bpf: Check the helper function is valid in get_helper_protoJiri Olsa-1/+1
2025-08-12bpf: Replace kvfree with kfree for kzalloc memoryQianfeng Rong-1/+1
2025-08-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfMartin KaFai Lau-0/+3
2025-08-07bpf: use realloc in bpf_patch_insn_dataEduard Zingerman-14/+15
2025-08-07bpf: removed unused 'env' parameter from is_reg64 and insn_has_def32Eduard Zingerman-7/+7
2025-08-02bpf: Fix memory leak of bpf_scc_info objectsEduard Zingerman-0/+3
2025-08-01bpf: Improve ctx access verifier error messagePaul Chaignon-1/+1
2025-07-28bpf: Add log for attaching tracing programs to functions in deny listKaFai Wan-0/+2
2025-07-28bpf: Show precise rejected function when attaching fexit/fmod_ret to __noretu...KaFai Wan-1/+2
2025-07-28bpf: Fix various typos in verifier.c commentsSuchit Karunakaran-5/+5
2025-07-28bpf: Add third round of bounds deductionPaul Chaignon-0/+1
2025-07-28bpf: Improve bounds when s64 crosses sign boundaryPaul Chaignon-0/+52
2025-07-27bpf: Simplify bounds refinement from s32Paul Chaignon-14/+0
2025-07-11bpf: Forget ranges when refining tnum after JSETPaul Chaignon-0/+4
2025-07-07bpf: Fix aux usage after do_check_insn()Luis Gerhorst-5/+14
2025-07-07bpf: support for void/primitive __arg_untrusted global func paramsEduard Zingerman-3/+4