aboutsummaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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
2025-08-18bpf: Add dynptr type for skb metadataJakub Sitnicki1-2/+13
2025-08-18bpf: Add a verbose message when the BTF limit is reachedAnton Protopopov1-1/+4
2025-08-15bpf: Check the helper function is valid in get_helper_protoJiri Olsa1-1/+1
2025-08-12bpf: Replace kvfree with kfree for kzalloc memoryQianfeng Rong1-1/+1
2025-08-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfMartin KaFai Lau1-0/+3
2025-08-07bpf: use realloc in bpf_patch_insn_dataEduard Zingerman1-14/+15
2025-08-07bpf: removed unused 'env' parameter from is_reg64 and insn_has_def32Eduard Zingerman1-7/+7
2025-08-02bpf: Fix memory leak of bpf_scc_info objectsEduard Zingerman1-0/+3
2025-08-01bpf: Improve ctx access verifier error messagePaul Chaignon1-1/+1
2025-07-28bpf: Add log for attaching tracing programs to functions in deny listKaFai Wan1-0/+2
2025-07-28bpf: Show precise rejected function when attaching fexit/fmod_ret to __noretu...KaFai Wan1-1/+2
2025-07-28bpf: Fix various typos in verifier.c commentsSuchit Karunakaran1-5/+5
2025-07-28bpf: Add third round of bounds deductionPaul Chaignon1-0/+1
2025-07-28bpf: Improve bounds when s64 crosses sign boundaryPaul Chaignon1-0/+52
2025-07-27bpf: Simplify bounds refinement from s32Paul Chaignon1-14/+0
2025-07-11bpf: Forget ranges when refining tnum after JSETPaul Chaignon1-0/+4
2025-07-07bpf: Fix aux usage after do_check_insn()Luis Gerhorst1-5/+14
2025-07-07bpf: support for void/primitive __arg_untrusted global func paramsEduard Zingerman1-3/+4
2025-07-07bpf: attribute __arg_untrusted for global function parametersEduard Zingerman1-0/+6
2025-07-07bpf: rdonly_untrusted_mem for btf id walk pointer leafsEduard Zingerman1-0/+5
2025-07-07bpf: make makr_btf_ld_reg return error for unexpected reg typesEduard Zingerman1-20/+39
2025-07-03bpf: Avoid putting struct bpf_scc_callchain variables on the stackYonghong Song1-18/+18
2025-07-03bpf: Reduce stack frame size by using env->insn_buf for bpf insnsYonghong Song1-98/+92
2025-07-03bpf: Simplify assignment to struct bpf_insn pointer in do_misc_fixups()Yonghong Song1-2/+2
2025-07-03bpf: Avoid warning on unexpected map for tail callPaul Chaignon1-2/+2
2025-07-03bpf: Introduce BPF standard streamsKumar Kartikeya Dwivedi1-0/+1
2025-07-02bpf: Avoid warning on multiple referenced args in callPaul Chaignon1-4/+4
2025-07-02bpf: avoid jump misprediction for PTR_TO_MEM | PTR_UNTRUSTEDEduard Zingerman1-1/+1
2025-07-01bpf: Warn on internal verifier errorsPaul Chaignon1-109/+102
2025-06-26Merge branch 'vfs-6.17.bpf' of https://git.kernel.org/pub/scm/linux/kernel/gi...Alexei Starovoitov1-0/+5
2025-06-26Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf after rc3Alexei Starovoitov1-3/+2
2025-06-25bpf: allow void* cast using bpf_rdonly_cast()Eduard Zingerman1-12/+61
2025-06-25bpf: add bpf_features enumEduard Zingerman1-0/+6
2025-06-25bpf: Add range tracking for BPF_NEGSong Liu1-1/+16
2025-06-24bpf, verifier: Improve precision for BPF_ADD and BPF_SUBHarishankar Vishwanathan1-20/+56
2025-06-23bpf: Mark cgroup_subsys_state->cgroup RCU safeSong Liu1-0/+5
2025-06-17bpf: Mark dentry->d_inode as trusted_or_nullSong Liu1-3/+2
2025-06-13bpf: Remove redundant free_verifier_state()/pop_stack()Luis Gerhorst1-26/+10
2025-06-13bpf: handle jset (if a & b ...) as a jump in CFG computationEduard Zingerman1-0/+1
2025-06-13bpf: Include verifier memory allocations in memcg statisticsEduard Zingerman1-34/+35
2025-06-12bpf: Initialize used but uninit variable in propagate_liveness()Song Liu1-1/+1