summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-11-09bpf: generalize is_branch_taken to handle all conditional jumps in one placeAndrii Nakryiko
2023-11-09bpf: move is_branch_taken() downAndrii Nakryiko
2023-11-09bpf: generalize is_branch_taken() to work with two registersAndrii Nakryiko
2023-11-09bpf: rename is_branch_taken reg arguments to prepare for the second oneAndrii Nakryiko
2023-11-09bpf: drop knowledge-losing __reg_combine_{32,64}_into_{64,32} logicAndrii Nakryiko
2023-11-09bpf: try harder to deduce register bounds from different numeric domainsAndrii Nakryiko
2023-11-09bpf: improve deduction of 64-bit bounds from 32-bit boundsAndrii Nakryiko
2023-11-09bpf: add special smin32/smax32 derivation from 64-bit boundsAndrii Nakryiko
2023-11-09bpf: derive subreg bounds from full bounds when upper 32 bits are constantAndrii Nakryiko
2023-11-09bpf: derive smin32/smax32 from umin32/umax32 boundsAndrii Nakryiko
2023-11-09bpf: derive smin/smax from umin/max boundsAndrii Nakryiko
2023-11-01bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu
2023-11-01bpf: Relax allowlist for css_task iterChuyi Zhou
2023-11-01bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun
2023-11-01bpf: fix compilation error without CGROUPSMatthieu Baerts
2023-10-24bpf: Improve JEQ/JNE branch taken logicAndrii Nakryiko
2023-10-23bpf: print full verifier states on infinite loop detectionEduard Zingerman
2023-10-23bpf: correct loop detection for iterators convergenceEduard Zingerman
2023-10-23bpf: exact states comparison for iterator convergence checksEduard Zingerman
2023-10-23bpf: extract same_callsites() as utility functionEduard Zingerman
2023-10-23bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman
2023-10-19bpf: Let bpf_iter_task_new accept null task ptrChuyi Zhou
2023-10-19bpf: teach the verifier to enforce css_iter and task_iter in RCU CSChuyi Zhou
2023-10-19bpf: Introduce css_task open-coded iterator kfuncsChuyi Zhou
2023-10-16Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-10-16bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko
2023-10-16bpf: Disambiguate SCALAR register state output in verifier logsAndrii Nakryiko
2023-10-12Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-10-11bpf: Implement cgroup sockaddr hooks for unix socketsDaan De Meyer
2023-10-09bpf: Fix verifier log for async callback return valuesDavid Vernet
2023-10-05Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-09-21bpf: Disable zero-extension for BPF_MEMSXIlya Leoshkevich
2023-09-20bpf: unconditionally reset backtrack_state masks on global func exitAndrii Nakryiko
2023-09-19bpf: Remove unused variables.Alexei Starovoitov
2023-09-16bpf: Fix kfunc callback register type handlingKumar Kartikeya Dwivedi
2023-09-16bpf: Disallow fentry/fexit/freplace for exception callbacksKumar Kartikeya Dwivedi
2023-09-16bpf: Treat first argument as return value for bpf_throwKumar Kartikeya Dwivedi
2023-09-16bpf: Perform CFG walk for exception callbackKumar Kartikeya Dwivedi
2023-09-16bpf: Add support for custom exception callbacksKumar Kartikeya Dwivedi
2023-09-16bpf: Refactor check_btf_func and split into two phasesKumar Kartikeya Dwivedi
2023-09-16bpf: Implement BPF exceptionsKumar Kartikeya Dwivedi
2023-09-16bpf: Implement support for adding hidden subprogsKumar Kartikeya Dwivedi
2023-09-12bpf, x64: Fix tailcall infinite loopLeon Hwang
2023-09-08bpf: Mark OBJ_RELEASE argument as MEM_RCU when possibleYonghong Song
2023-09-08bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu objYonghong Song
2023-09-08bpf: Add alloc/xchg/direct_access support for local percpu kptrYonghong Song
2023-08-25bpf: Allow bpf_spin_{lock,unlock} in sleepable progsDave Marchevsky
2023-08-25bpf: Consider non-owning refs to refcounted nodes RCU protectedDave Marchevsky
2023-08-25bpf: Reenable bpf_refcount_acquireDave Marchevsky
2023-08-25bpf: Ensure kptr_struct_meta is non-NULL for collection insert and refcount_a...Dave Marchevsky