summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2022-01-19bpf: Fix ringbuf memory type confusion when passing to helpersDaniel Borkmann1-1/+5
2022-01-19bpf: Fix out of bounds access for ringbuf helpersDaniel Borkmann1-0/+6
2022-01-19bpf: Generally fix helper register offset checkDaniel Borkmann1-11/+28
2022-01-19bpf: Mark PTR_TO_FUNC register initially with zero offsetDaniel Borkmann1-3/+6
2022-01-19bpf: Generalize check_ctx_reg for reuse with other typesDaniel Borkmann1-10/+11
2022-01-11bpf: Fix incorrect integer literal used for marking scratched stack.Christy Lee1-3/+3
2022-01-06bpf: Fix verifier support for validation of async callbacksKris Van Hees1-0/+1
2022-01-05bpf: Don't promote bogus looking registers after null check.Daniel Borkmann1-6/+6
2021-12-31Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-281/+415
2021-12-30bpf: Allow bpf_local_storage to be used by sleepable programsKP Singh1-0/+3
2021-12-19bpf: Add MEM_RDONLY for helper args that are pointers to rdonly mem.Hao Luo1-3/+17
2021-12-19bpf: Make per_cpu_ptr return rdonly PTR_TO_MEM.Hao Luo1-4/+26
2021-12-19bpf: Convert PTR_TO_MEM_OR_NULL to composable types.Hao Luo1-1/+1
2021-12-19bpf: Introduce MEM_RDONLY flagHao Luo1-34/+50
2021-12-19bpf: Replace PTR_TO_XXX_OR_NULL with PTR_TO_XXX | PTR_MAYBE_NULLHao Luo1-173/+125
2021-12-18bpf: Replace RET_XXX_OR_NULL with RET_XXX | PTR_MAYBE_NULLHao Luo1-26/+26
2021-12-18bpf: Replace ARG_XXX_OR_NULL with ARG_XXX | PTR_MAYBE_NULLHao Luo1-25/+14
2021-12-17Only output backtracking information in log level 2Christy Lee1-3/+3
2021-12-17bpf: Right align verifier states in verifier logs.Christy Lee1-21/+36
2021-12-17bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee1-14/+69
2021-12-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-17/+36
2021-12-17add missing bpf-cgroup.h includesJakub Kicinski1-0/+1
2021-12-16bpf: Make 32->64 bounds propagation slightly more robustDaniel Borkmann1-9/+15
2021-12-16bpf: Fix signed bounds propagation after mov32Daniel Borkmann1-0/+4
2021-12-15bpf: Fix kernel address leakage in atomic cmpxchg's r0 aux regDaniel Borkmann1-1/+8
2021-12-15bpf: Fix kernel address leakage in atomic fetchDaniel Borkmann1-3/+9
2021-12-13bpf: Add get_func_[arg|ret|arg_cnt] helpersJiri Olsa1-5/+72
2021-12-11Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-41/+139
2021-12-10bpf: Fix incorrect state pruning for <8B spill/fillPaul Chaignon1-4/+0
2021-12-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-1/+1
2021-12-04bpf: Disallow BPF_LOG_KERNEL log level for bpf(BPF_BTF_LOAD)Hou Tao1-3/+3
2021-12-03bpf: Fix the off-by-two error in range markingsMaxim Mikityanskiy1-1/+1
2021-12-02bpf: Pass a set of bpf_core_relo-s to prog_load command.Alexei Starovoitov1-0/+76
2021-12-01bpf: Clean-up bpf_verifier_vlog() for BPF_LOG_KERNEL log levelHou Tao1-4/+6
2021-11-30bpf: Add bpf_loop helperJoanne Koong1-34/+54
2021-11-19Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+25
2021-11-16bpf: Fix toctou on read-only map's constant scalar trackingDaniel Borkmann1-1/+16
2021-11-16bpf: Forbid bpf_ktime_get_coarse_ns and bpf_timer_* in tracing progsDmitrii Banshchikov1-0/+7
2021-11-15Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-0/+34
2021-11-12bpf: Introduce btf_tracing_idsSong Liu1-1/+1
2021-11-12bpf: Fix inner map state pruning regression.Alexei Starovoitov1-1/+2
2021-11-07bpf: Introduce helper bpf_find_vmaSong Liu1-0/+34
2021-11-06bpf: Stop caching subprog index in the bpf_pseudo_func insnMartin KaFai Lau1-23/+14
2021-11-03bpf: Do not reject when the stack read size is different from the tracked sca...Martin KaFai Lau1-12/+6
2021-11-02Merge tag 'net-next-for-5.16' of git://git.kernel.org/pub/scm/linux/kernel/gi...Linus Torvalds1-76/+297
2021-11-02bpf: Fix propagation of signed bounds from 64-bit min/max into 32-bit.Alexei Starovoitov1-1/+1
2021-11-02bpf: Fix propagation of bounds from 64-bit min/max into 32-bit and var_off.Alexei Starovoitov1-1/+1
2021-10-28bpf: Add bloom filter map implementationJoanne Koong1-3/+16
2021-10-22bpf: Add verified_insns to bpf_prog_info and fdinfoDave Marchevsky1-0/+1
2021-10-20bpf: Silence Coverity warning for find_kfunc_desc_btfKumar Kartikeya Dwivedi1-9/+4