summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-01-31bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2024-01-31bpf: widening for callback iteratorsEduard Zingerman
2024-01-31bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman
2024-01-31bpf: extract setup_func_entry() utility functionEduard Zingerman
2024-01-31bpf: extract __check_reg_arg() utility functionEduard Zingerman
2024-01-31bpf: print full verifier states on infinite loop detectionEduard Zingerman
2024-01-31bpf: correct loop detection for iterators convergenceEduard Zingerman
2024-01-31bpf: exact states comparison for iterator convergence checksEduard Zingerman
2024-01-31bpf: extract same_callsites() as utility functionEduard Zingerman
2024-01-31bpf: move explored_state() closer to the beginning of verifier.cEduard Zingerman
2024-01-25bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun
2024-01-25bpf: Fix accesses to uninit stack slotsAndrei Matei
2024-01-25bpf: Guard stack limits against 32bit overflowAndrei Matei
2024-01-25bpf: Fix verification of indirect var-off stack accessAndrei Matei
2024-01-25bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko
2024-01-25bpf: enforce precision of R0 on callback returnAndrii Nakryiko
2023-11-28bpf: Fix precision tracking for BPF_ALU | BPF_TO_BE | BPF_ENDShung-Hsi Yu
2023-11-28bpf: Fix check_stack_write_fixed_off() to correctly spill immHao Sun
2023-11-28bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko
2023-11-28bpf: fix precision backtracking instruction iterationAndrii Nakryiko
2023-11-28bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko
2023-11-28bpf: Ensure proper register state printing for cond jumpsAndrii Nakryiko
2023-11-20bpf: Fix kfunc callback register type handlingKumar Kartikeya Dwivedi
2023-11-20bpf, x64: Fix tailcall infinite loopLeon Hwang
2023-10-09bpf: Fix verifier log for async callback return valuesDavid Vernet
2023-09-20bpf: unconditionally reset backtrack_state masks on global func exitAndrii Nakryiko
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
2023-08-23bpf: Fix issue in verifying allow_ptr_leaksYafang Shao
2023-08-22bpf: Fix check_func_arg_reg_off bug for graph root/nodeKumar Kartikeya Dwivedi
2023-08-22bpf: Fix a bpf_kptr_xchg() issue with local kptrYonghong Song
2023-08-07bpf: Fix an incorrect verification success with movsx insnYonghong Song
2023-08-03net: invert the netdevice.h vs xdp.h dependencyJakub Kicinski
2023-07-28bpf: Fix compilation warning with -WparenthesesYonghong Song
2023-07-27bpf: Support new 32bit offset jmp instructionYonghong Song
2023-07-27bpf: Support new signed div/mod instructions.Yonghong Song
2023-07-27bpf: Support new unconditional bswap instructionYonghong Song
2023-07-27bpf: Handle sign-extenstin ctx member accessesYonghong Song
2023-07-27bpf: Support new sign-extension mov insnsYonghong Song
2023-07-27bpf: Support new sign-extension load insnsYonghong Song
2023-07-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-07-19bpf: consider CONST_PTR_TO_MAP as trusted pointer to struct bpf_mapAnton Protopopov
2023-07-19bpf: consider types listed in reg2btf_ids as trustedAnton Protopopov
2023-07-18bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi
2023-07-18bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi
2023-07-13Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-07-13bpf: Fix an error around PTR_UNTRUSTEDYafang Shao
2023-07-12bpf: teach verifier actual bounds of bpf_get_smp_processor_id() resultAndrii Nakryiko