aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2024-03-05bpf: check bpf_func_state->callback_depth when pruning statesEduard Zingerman
2024-02-13bpf: Fix warning for bpf_cpumask in verifierHari Bathini
2024-01-16bpf: Reject variable offset alu on PTR_TO_FLOW_KEYSHao Sun
2024-01-04bpf: Relax tracing prog recursive attach rulesDmitrii Dolgov
2024-01-03bpf: Limit up to 512 bytes for bpf_global_percpu_ma allocationYonghong Song
2024-01-03bpf: Allow per unit prefill for non-fix-size percpu memory allocatorYonghong Song
2024-01-03bpf: Simplify checking size of helper accessesAndrei Matei
2023-12-21bpf: Avoid unnecessary use of comma operator in verifierSimon Horman
2023-12-19bpf: add support for passing dynptr pointer to global subprogAndrii Nakryiko
2023-12-19bpf: support 'arg:xxx' btf_decl_tag-based hints for global subprog argsAndrii Nakryiko
2023-12-19bpf: reuse subprog argument parsing logic for subprog call checksAndrii Nakryiko
2023-12-19bpf: move subprog call logic back to verifier.cAndrii Nakryiko
2023-12-19bpf: prepare btf_prepare_func_args() for handling static subprogsAndrii Nakryiko
2023-12-19bpf: reuse btf_prepare_func_args() check for main program BTF validationAndrii Nakryiko
2023-12-19bpf: abstract away global subprog arg preparation logic from reg state setupAndrii Nakryiko
2023-12-19bpf: make the verifier tracks the "not equal" for regsMenglong Dong
2023-12-19Revert BPF token-related functionalityAndrii Nakryiko
2023-12-18bpf: Ensure precise is reset to false in __mark_reg_const_zero()Andrii Nakryiko
2023-12-12bpf: Comment on check_mem_size_regAndrei Matei
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