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