summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-12-12bpf: Remove unused backtrack_state helper functionsYang Li
2023-12-11bpf: tidy up exception callback management a bitAndrii Nakryiko
2023-12-09bpf: handle fake register spill to stack with BPF_ST_MEM instructionAndrii Nakryiko
2023-12-08bpf: Minor cleanup around stack boundsAndrei Matei
2023-12-08bpf: Fix accesses to uninit stack slotsAndrei Matei
2023-12-07bpf: Guard stack limits against 32bit overflowAndrei Matei
2023-12-07bpf: Fix verification of indirect var-off stack accessAndrei Matei
2023-12-06bpf: consistently use BPF token throughout BPF verifier logicAndrii Nakryiko
2023-12-05bpf: track aligned STACK_ZERO cases as imprecise spilled registersAndrii Nakryiko
2023-12-05bpf: preserve constant zero when doing partial register restoreAndrii Nakryiko
2023-12-05bpf: preserve STACK_ZERO slots on partial reg spillsAndrii Nakryiko
2023-12-05bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko
2023-12-04bpf: Optimize the free of inner mapHou Tao
2023-12-04bpf: Minor logging improvementAndrei Matei
2023-12-02bpf: enforce precision of R0 on program/async callback returnAndrii Nakryiko
2023-12-02bpf: unify async callback and program retval checksAndrii Nakryiko
2023-12-02bpf: enforce precise retval range on program exitAndrii Nakryiko
2023-12-02bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko
2023-12-02bpf: enforce precision of R0 on callback returnAndrii Nakryiko
2023-12-02bpf: provide correct register name for exception callback retval checkAndrii Nakryiko
2023-11-24bpf: Validate global subprogs lazilyAndrii Nakryiko
2023-11-24bpf: Emit global subprog name in verifier logsAndrii Nakryiko
2023-11-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2023-11-21Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman
2023-11-20bpf: widening for callback iteratorsEduard Zingerman
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman
2023-11-20bpf: extract setup_func_entry() utility functionEduard Zingerman
2023-11-20bpf: extract __check_reg_arg() utility functionEduard Zingerman
2023-11-18bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko
2023-11-18bpf: move verbose_linfo() into kernel/bpf/log.cAndrii Nakryiko
2023-11-17bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko
2023-11-15bpf: make __reg{32,64}_deduce_bounds logic more robustAndrii Nakryiko
2023-11-15bpf: remove redundant s{32,64} -> u{32,64} deduction logicAndrii Nakryiko
2023-11-15bpf: add register bounds sanity checks and sanitizationAndrii Nakryiko
2023-11-15bpf: enhance BPF_JEQ/BPF_JNE is_branch_taken logicAndrii Nakryiko
2023-11-15bpf: generalize is_scalar_branch_taken() logicAndrii Nakryiko
2023-11-15bpf: generalize reg_set_min_max() to handle non-const register comparisonsAndrii Nakryiko
2023-11-15bpf: Do not allocate percpu memory at init stageYonghong Song
2023-11-09bpf: fix control-flow graph checking in privileged modeAndrii Nakryiko
2023-11-09bpf: fix precision backtracking instruction iterationAndrii Nakryiko
2023-11-09bpf: handle ldimm64 properly in check_cfg()Andrii Nakryiko
2023-11-09bpf: Mark direct ld of stashed bpf_{rb,list}_node as non-owning refDave Marchevsky
2023-11-09bpf: replace register_is_const() with is_reg_const()Shung-Hsi Yu
2023-11-09bpf: Introduce KF_ARG_PTR_TO_CONST_STRSong Liu
2023-11-09bpf: Factor out helper check_reg_const_str()Song Liu
2023-11-09bpf: generalize reg_set_min_max() to handle two sets of two registersAndrii Nakryiko
2023-11-09bpf: prepare reg_set_min_max for second set of registersAndrii Nakryiko
2023-11-09bpf: unify 32-bit and 64-bit is_branch_taken logicAndrii Nakryiko