summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman1-2/+17
2023-11-20bpf: widening for callback iteratorsEduard Zingerman1-2/+22
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman1-99/+175
2023-11-20bpf: extract setup_func_entry() utility functionEduard Zingerman1-36/+48
2023-11-20bpf: extract __check_reg_arg() utility functionEduard Zingerman1-6/+13
2023-11-15bpf: Do not allocate percpu memory at init stageYonghong Song1-2/+18
2023-11-09bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko1-15/+8
2023-11-09bpf: fix precision backtracking instruction iterationAndrii Nakryiko1-2/+19
2023-11-09bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko1-7/+20
2023-11-01bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu1-1/+6
2023-11-01bpf: Relax allowlist for css_task iterChuyi Zhou1-4/+12
2023-11-01bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun1-1/+1
2023-11-01bpf: fix compilation error without CGROUPSMatthieu Baerts1-0/+8
2023-10-24bpf: Improve JEQ/JNE branch taken logicAndrii Nakryiko1-0/+8
2023-10-23bpf: print full verifier states on infinite loop detectionEduard Zingerman1-0/+4
2023-10-23bpf: correct loop detection for iterators convergenceEduard Zingerman1-4/+203
2023-10-23bpf: exact states comparison for iterator convergence checksEduard Zingerman1-31/+187
2023-10-23bpf: extract same_callsites() as utility functionEduard Zingerman1-5/+15
2023-10-23bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman1-15/+13
2023-10-19bpf: Let bpf_iter_task_new accept null task ptrChuyi Zhou1-1/+12
2023-10-19bpf: teach the verifier to enforce css_iter and task_iter in RCU CSChuyi Zhou1-11/+39
2023-10-19bpf: Introduce css_task open-coded iterator kfuncsChuyi Zhou1-0/+23
2023-10-16Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-25/+56
2023-10-16bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko1-1/+6
2023-10-16bpf: Disambiguate SCALAR register state output in verifier logsAndrii Nakryiko1-22/+45
2023-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-3/+3
2023-10-11bpf: Implement cgroup sockaddr hooks for unix socketsDaan De Meyer1-1/+4
2023-10-09bpf: Fix verifier log for async callback return valuesDavid Vernet1-3/+3
2023-10-05Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-5/+3
2023-09-21bpf: Disable zero-extension for BPF_MEMSXIlya Leoshkevich1-1/+1
2023-09-20bpf: unconditionally reset backtrack_state masks on global func exitAndrii Nakryiko1-5/+3
2023-09-19bpf: Remove unused variables.Alexei Starovoitov1-5/+1
2023-09-16bpf: Fix kfunc callback register type handlingKumar Kartikeya Dwivedi1-0/+4
2023-09-16bpf: Disallow fentry/fexit/freplace for exception callbacksKumar Kartikeya Dwivedi1-0/+6
2023-09-16bpf: Treat first argument as return value for bpf_throwKumar Kartikeya Dwivedi1-13/+24
2023-09-16bpf: Perform CFG walk for exception callbackKumar Kartikeya Dwivedi1-2/+13
2023-09-16bpf: Add support for custom exception callbacksKumar Kartikeya Dwivedi1-8/+105
2023-09-16bpf: Refactor check_btf_func and split into two phasesKumar Kartikeya Dwivedi1-28/+100
2023-09-16bpf: Implement BPF exceptionsKumar Kartikeya Dwivedi1-14/+102
2023-09-16bpf: Implement support for adding hidden subprogsKumar Kartikeya Dwivedi1-3/+33
2023-09-12bpf, x64: Fix tailcall infinite loopLeon Hwang1-0/+3
2023-09-08bpf: Mark OBJ_RELEASE argument as MEM_RCU when possibleYonghong Song1-0/+20
2023-09-08bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu objYonghong Song1-8/+51
2023-09-08bpf: Add alloc/xchg/direct_access support for local percpu kptrYonghong Song1-22/+90
2023-08-25bpf: Allow bpf_spin_{lock,unlock} in sleepable progsDave Marchevsky1-6/+3
2023-08-25bpf: Consider non-owning refs to refcounted nodes RCU protectedDave Marchevsky1-1/+12
2023-08-25bpf: Reenable bpf_refcount_acquireDave Marchevsky1-4/+1
2023-08-25bpf: Ensure kptr_struct_meta is non-NULL for collection insert and refcount_a...Dave Marchevsky1-0/+14
2023-08-23bpf: Fix issue in verifying allow_ptr_leaksYafang Shao1-8/+9
2023-08-22bpf: Fix check_func_arg_reg_off bug for graph root/nodeKumar Kartikeya Dwivedi1-11/+0