summary refs log tree commit diff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2023-07-27bpf: aggressively forget precise markings during state checkpointingAndrii Nakryiko
2023-07-27bpf: stop setting precise in current stateAndrii Nakryiko
2023-07-27bpf: allow precision tracking for programs with subprogsAndrii Nakryiko
2023-07-27bpf: Repeat check_max_stack_depth for async callbacksKumar Kartikeya Dwivedi
2023-07-27bpf: Fix subprog idx logic in check_max_stack_depthKumar Kartikeya Dwivedi
2023-07-23bpf: Fix max stack depth check for async callbacksKumar Kartikeya Dwivedi
2023-06-28bpf: Fix verifier id tracking of scalars on spillMaxim Mikityanskiy
2023-06-28bpf: track immediate values written to stack by BPF_ST instructionEduard Zingerman
2023-06-28bpf: ensure main program has an extableKrister Johansen
2023-05-30bpf: Fix mask generation for 32-bit narrow loads of 64-bit fieldsWill Deacon
2023-05-24bpf: Add preempt_count_{sub,add} into btf id deny listYafang
2023-05-11bpf: Fix __reg_bound_offset 64->32 var_off subreg propagationDaniel Borkmann
2023-05-11bpf: Remove misleading spec_v1 check on var-offset stack readLuis Gerhorst
2023-05-11bpf: fix precision propagation verbose loggingAndrii Nakryiko
2023-05-11bpf: take into account liveness when propagating precisionAndrii Nakryiko
2023-04-26bpf: Fix incorrect verifier pruning due to missing register precision taintsDaniel Borkmann
2023-02-09bpf: Skip invalid kfunc call in backtrack_insnHao Sun
2023-02-09bpf: Fix to preserve reg parent/live fields when copying range infoEduard Zingerman
2023-02-01bpf: Fix pointer-leak due to insufficient speculative store bypass mitigationLuis Gerhorst
2023-01-12bpf: Always use maximal size for copy_array()Kees Cook
2022-12-31bpf/verifier: Use kmalloc_size_roundup() to match ksize() usageKees Cook
2022-12-31bpf: Do not zero-extend kfunc return valuesBjörn Töpel
2022-12-31bpf: propagate precision across all frames, not just the last oneAndrii Nakryiko
2022-12-31bpf: propagate precision in ALU/ALU64 operationsAndrii Nakryiko
2022-12-31bpf: Fix slot type check in check_stack_write_var_offKumar Kartikeya Dwivedi
2022-12-31bpf: Clobber stack slot when writing over spilled PTR_TO_BTF_IDKumar Kartikeya Dwivedi
2022-11-08bpf: Fix memory leaks in __check_func_callWang Yufen
2022-11-04bpf: Fix wrong reg type conversion in release_reference()Youlin Li
2022-11-01bpf, verifier: Fix memory leak in array reallocation for stack stateKees Cook
2022-10-24Merge tag 'for-netdev' of https://git.kernel.org/pub/scm/linux/kernel/git/bpf...Jakub Kicinski
2022-10-13bpf: Allow bpf_user_ringbuf_drain() callbacks to return 1David Vernet
2022-10-11treewide: use get_random_u32() when possibleJason A. Donenfeld
2022-09-21btf: Allow dynamic pointer parameters in kfuncsRoberto Sassu
2022-09-21bpf: Move dynptr type check to is_dynptr_type_expected()Roberto Sassu
2022-09-21bpf: Add bpf_user_ringbuf_drain() helperDavid Vernet
2022-09-21bpf: Define new BPF_MAP_TYPE_USER_RINGBUF map typeDavid Vernet
2022-09-15bpf: Add verifier check for BPF_PTR_POISON retval and argDave Marchevsky
2022-09-10bpf: Add verifier support for custom callback return rangeDave Marchevsky
2022-09-10bpf: Export btf_type_by_id() and bpf_log()Daniel Xu
2022-09-10bpf: Remove duplicate PTR_TO_BTF_ID RO checkDaniel Xu
2022-09-07bpf: Add helper macro bpf_for_each_reg_in_vstateKumar Kartikeya Dwivedi
2022-09-07bpf/verifier: allow kfunc to return an allocated memBenjamin Tissoires
2022-09-07bpf/verifier: allow all functions to read user provided contextBenjamin Tissoires
2022-09-07bpf: split btf_check_subprog_arg_match in twoBenjamin Tissoires
2022-09-06Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextPaolo Abeni
2022-09-05bpf: Remove prealloc-only restriction for sleepable bpf programs.Alexei Starovoitov
2022-09-05bpf: Remove tracing program restriction on map typesAlexei Starovoitov
2022-09-05bpf: Relax the requirement to use preallocated hash maps in tracing progs.Alexei Starovoitov
2022-09-01Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski
2022-08-25bpf: Don't use tnum_range on array range checking for poke descriptorsDaniel Borkmann