summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2023-07-27bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko1-0/+37
2023-07-27bpf: stop setting precise in current stateAndrii Nakryiko1-12/+91
2023-07-27bpf: allow precision tracking for programs with subprogsAndrii Nakryiko1-1/+61
2023-07-27bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi1-2/+19
2023-07-27bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi1-5/+6
2023-07-23bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi1-2/+3
2023-06-28bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy1-0/+3
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman1-2/+16
2023-06-28bpf: ensure main program has an extableKrister Johansen1-2/+5
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon1-1/+1
2023-05-24bpf: Add preempt_count_{sub,add} into btf id deny listYafang1-0/+4
2023-05-11bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann1-3/+3
2023-05-11bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst1-10/+6
2023-05-11bpf: fix precision propagation verbose loggingAndrii Nakryiko1-2/+2
2023-05-11bpf: take into account liveness when propagating precisionAndrii Nakryiko1-2/+4
2023-04-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann1-0/+15
2023-02-09bpf: Skip invalid kfunc call in backtrack_insnHao Sun1-0/+6
2023-02-09bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman1-7/+18
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst1-1/+3
2023-01-12bpf: Always use maximal size for copy_array()Kees Cook1-5/+7
2022-12-31bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook1-4/+8
2022-12-31bpf: Do not zero-extend kfunc return valuesBjörn Töpel1-0/+4
2022-12-31bpf: propagate precision across all frames, not just the last oneAndrii Nakryiko1-32/+39
2022-12-31bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko1-0/+5
2022-12-31bpf: Fix slot type check in check_stack_write_var_offKumar Kartikeya Dwivedi1-8/+11
2022-12-31bpf: Clobber stack slot when writing over spilled PTR_TO_BTF_IDKumar Kartikeya Dwivedi1-4/+5
2022-11-08bpf: Fix memory leaks in __check_func_callWang Yufen1-5/+9
2022-11-04bpf: Fix wrong reg type conversion in release_reference()Youlin Li1-2/+6
2022-11-01bpf, verifier: Fix memory leak in array reallocation for stack stateKees Cook1-2/+7
2022-10-24Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski1-0/+1
2022-10-13bpf: Allow bpf_user_ringbuf_drain() callbacks to return 1David Vernet1-0/+1
2022-10-11treewide: use get_random_u32() when possibleJason A. Donenfeld1-1/+1
2022-09-21btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu1-5/+5
2022-09-21bpf: Move dynptr type check to is_dynptr_type_expected()Roberto Sassu1-8/+27
2022-09-21bpf: Add bpf_user_ringbuf_drain() helperDavid Vernet1-4/+57
2022-09-21bpf: Define new BPF_MAP_TYPE_USER_RINGBUF map typeDavid Vernet1-0/+3
2022-09-15bpf: Add verifier check for BPF_PTR_POISON retval and argDave Marchevsky1-7/+23
2022-09-10bpf: Add verifier support for custom callback return rangeDave Marchevsky1-1/+6
2022-09-10bpf: Export btf_type_by_id() and bpf_log()Daniel Xu1-0/+1
2022-09-10bpf: Remove duplicate PTR_TO_BTF_ID RO checkDaniel Xu1-3/+0
2022-09-07bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi1-107/+28
2022-09-07bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires1-13/+32
2022-09-07bpf/verifier: allow all functions to read user provided contextBenjamin Tissoires1-0/+19
2022-09-07bpf: split btf_check_subprog_arg_match in twoBenjamin Tissoires1-1/+1
2022-09-06Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPaolo Abeni1-61/+33
2022-09-05bpf: Remove prealloc-only restriction for sleepable bpf programs.Alexei Starovoitov1-23/+0
2022-09-05bpf: Remove tracing program restriction on map typesAlexei Starovoitov1-42/+0
2022-09-05bpf: Relax the requirement to use preallocated hash maps in tracing progs.Alexei Starovoitov1-9/+22
2022-09-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-6/+7
2022-08-25bpf: Don't use tnum_range on array range checking for poke descriptorsDaniel Borkmann1-6/+4