summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun2024-01-161-0/+4
* bpf: Relax tracing prog recursive attach rulesDmitrii Dolgov2024-01-041-14/+25
* bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationYonghong Song2024-01-031-0/+8
* bpf: Allow per unit prefill for non-fix-size percpu memory allocatorYonghong Song2024-01-031-14/+23
* bpf: Simplify checking size of helper accessesAndrei Matei2024-01-031-6/+4
* bpf: Avoid unnecessary use of comma operator in verifierSimon Horman2023-12-211-1/+1
* bpf: add support for passing dynptr pointer to global subprogAndrii Nakryiko2023-12-191-0/+7
* bpf: support 'arg:xxx' btf_decl_tag-based hints for global subprog argsAndrii Nakryiko2023-12-191-1/+4
* bpf: reuse subprog argument parsing logic for subprog call checksAndrii Nakryiko2023-12-191-80/+30
* bpf: move subprog call logic back to verifier.cAndrii Nakryiko2023-12-191-7/+146
* bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko2023-12-191-5/+0
* bpf: reuse btf_prepare_func_args() check for main program BTF validationAndrii Nakryiko2023-12-191-13/+12
* bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko2023-12-191-16/+27
* bpf: make the verifier tracks the "not equal" for regsMenglong Dong2023-12-191-1/+37
* Revert BPF token-related functionalityAndrii Nakryiko2023-12-191-6/+7
* bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko2023-12-181-18/+11
* bpf: Comment on check_mem_size_regAndrei Matei2023-12-121-0/+6
* bpf: Remove unused backtrack_state helper functionsYang Li2023-12-121-15/+0
* bpf: tidy up exception callback management a bitAndrii Nakryiko2023-12-111-13/+39
* bpf: handle fake register spill to stack with BPF_ST_MEM instructionAndrii Nakryiko2023-12-091-1/+0
* bpf: Minor cleanup around stack boundsAndrei Matei2023-12-081-2/+9
* bpf: Fix accesses to uninit stack slotsAndrei Matei2023-12-081-39/+26
* bpf: Guard stack limits against 32bit overflowAndrei Matei2023-12-071-3/+3
* bpf: Fix verification of indirect var-off stack accessAndrei Matei2023-12-071-10/+4
* bpf: consistently use BPF token throughout BPF verifier logicAndrii Nakryiko2023-12-061-7/+6
* bpf: track aligned STACK_ZERO cases as imprecise spilled registersAndrii Nakryiko2023-12-051-3/+7
* bpf: preserve constant zero when doing partial register restoreAndrii Nakryiko2023-12-051-4/+21
* bpf: preserve STACK_ZERO slots on partial reg spillsAndrii Nakryiko2023-12-051-5/+23
* bpf: fix check for attempt to corrupt spilled pointerAndrii Nakryiko2023-12-051-1/+1
* bpf: support non-r10 register spill/fill to/from stack in precision trackingAndrii Nakryiko2023-12-051-73/+102
* bpf: Optimize the free of inner mapHou Tao2023-12-041-1/+3
* bpf: Minor logging improvementAndrei Matei2023-12-041-2/+2
* bpf: enforce precision of R0 on program/async callback returnAndrii Nakryiko2023-12-021-0/+4
* bpf: unify async callback and program retval checksAndrii Nakryiko2023-12-021-18/+12
* bpf: enforce precise retval range on program exitAndrii Nakryiko2023-12-021-27/+29
* bpf: enforce exact retval range on subprog/callback exitAndrii Nakryiko2023-12-021-11/+22
* bpf: enforce precision of R0 on callback returnAndrii Nakryiko2023-12-021-0/+7
* bpf: provide correct register name for exception callback retval checkAndrii Nakryiko2023-12-021-6/+6
* bpf: Validate global subprogs lazilyAndrii Nakryiko2023-11-241-6/+42
* bpf: Emit global subprog name in verifier logsAndrii Nakryiko2023-11-241-11/+24
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski2023-11-231-136/+266
|\
| * bpf: keep track of max number of bpf_loop callback iterationsEduard Zingerman2023-11-201-2/+17
| * bpf: widening for callback iteratorsEduard Zingerman2023-11-201-2/+22
| * bpf: verify callbacks as if they are called unknown number of timesEduard Zingerman2023-11-201-99/+175
| * bpf: extract setup_func_entry() utility functionEduard Zingerman2023-11-201-36/+48
| * bpf: extract __check_reg_arg() utility functionEduard Zingerman2023-11-201-6/+13
* | Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski2023-11-211-1003/+673
|\ \ | |/ |/|
| * bpf: move verifier state printing code to kernel/bpf/log.cAndrii Nakryiko2023-11-181-403/+0
| * bpf: move verbose_linfo() into kernel/bpf/log.cAndrii Nakryiko2023-11-181-57/+0
| * bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTSAndrii Nakryiko2023-11-171-3/+3
generated by cgit v1.2.3 (git 2.25.1) at 2024-12-13 21:18:00 +0000