summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2024-03-05bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman-0/+3
2024-02-13bpf: Fix warning for bpf_cpumask in verifierHari Bathini-0/+2
2024-01-16bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun-0/+4
2024-01-04bpf: Relax tracing prog recursive attach rulesDmitrii Dolgov-14/+25
2024-01-03bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationYonghong Song-0/+8
2024-01-03bpf: Allow per unit prefill for non-fix-size percpu memory allocatorYonghong Song-14/+23
2024-01-03bpf: Simplify checking size of helper accessesAndrei Matei-6/+4
2023-12-21bpf: Avoid unnecessary use of comma operator in verifierSimon Horman-1/+1
2023-12-19bpf: add support for passing dynptr pointer to global subprogAndrii Nakryiko-0/+7
2023-12-19bpf: support 'arg:xxx' btf_decl_tag-based hints for global subprog argsAndrii Nakryiko-1/+4
2023-12-19bpf: reuse subprog argument parsing logic for subprog call checksAndrii Nakryiko-80/+30
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko-7/+146
2023-12-19bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko-5/+0
2023-12-19bpf: reuse btf_prepare_func_args() check for main program BTF validationAndrii Nakryiko-13/+12
2023-12-19bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko-16/+27
2023-12-19bpf: make the verifier tracks the "not equal" for regsMenglong Dong-1/+37
2023-12-19Revert BPF token-related functionalityAndrii Nakryiko-6/+7
2023-12-18bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko-18/+11
2023-12-12bpf: Comment on check_mem_size_regAndrei Matei-0/+6
2023-12-12bpf: Remove unused backtrack_state helper functionsYang Li-15/+0
2023-12-11bpf: tidy up exception callback management a bitAndrii Nakryiko-13/+39
2023-12-09bpf: handle fake register spill to stack with BPF_ST_MEM instructionAndrii Nakryiko-1/+0
2023-12-08bpf: Minor cleanup around stack boundsAndrei Matei-2/+9
2023-12-08bpf: Fix accesses to uninit stack slotsAndrei Matei-39/+26
2023-12-07bpf: Guard stack limits against 32bit overflowAndrei Matei-3/+3
2023-12-07bpf: Fix verification of indirect var-off stack accessAndrei Matei-10/+4
2023-12-06bpf: consistently use BPF token throughout BPF verifier logicAndrii Nakryiko-7/+6
2023-12-05bpf: track aligned STACK_ZERO cases as imprecise spilled registersAndrii Nakryiko-3/+7
2023-12-05bpf: preserve constant zero when doing partial register restoreAndrii Nakryiko-4/+21
2023-12-05bpf: preserve STACK_ZERO slots on partial reg spillsAndrii Nakryiko-5/+23
2023-12-05bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko-1/+1
2023-12-05bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko-73/+102
2023-12-04bpf: Optimize the free of inner mapHou Tao-1/+3
2023-12-04bpf: Minor logging improvementAndrei Matei-2/+2
2023-12-02bpf: enforce precision of R0 on program/async callback returnAndrii Nakryiko-0/+4
2023-12-02bpf: unify async callback and program retval checksAndrii Nakryiko-18/+12
2023-12-02bpf: enforce precise retval range on program exitAndrii Nakryiko-27/+29
2023-12-02bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko-11/+22
2023-12-02bpf: enforce precision of R0 on callback returnAndrii Nakryiko-0/+7
2023-12-02bpf: provide correct register name for exception callback retval checkAndrii Nakryiko-6/+6
2023-11-24bpf: Validate global subprogs lazilyAndrii Nakryiko-6/+42
2023-11-24bpf: Emit global subprog name in verifier logsAndrii Nakryiko-11/+24
2023-11-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski-136/+266
2023-11-21Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski-1003/+673
2023-11-20bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman-2/+17
2023-11-20bpf: widening for callback iteratorsEduard Zingerman-2/+22
2023-11-20bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman-99/+175
2023-11-20bpf: extract setup_func_entry() utility functionEduard Zingerman-36/+48
2023-11-20bpf: extract __check_reg_arg() utility functionEduard Zingerman-6/+13
2023-11-18bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko-403/+0