summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
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