summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2022-02-07bpf: Use prog->jited_len in bpf_prog_ksym_set_addr()Song Liu1-0/+1
2022-01-27bpf: reject program if a __user tagged memory accessed in kernel wayYonghong Song1-11/+24
2022-01-24Merge https://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-67/+129
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-18bpf: Add reference tracking support to kfuncKumar Kartikeya Dwivedi1-10/+42
2022-01-18bpf: Introduce mem, size argument pair support for kfuncKumar Kartikeya Dwivedi1-45/+79
2022-01-18bpf: Remove check_kfunc_call callback and old kfunc BTF ID APIKumar Kartikeya Dwivedi1-12/+8
2022-01-11bpf: Fix incorrect integer literal used for marking scratched stack.Christy Lee1-3/+3
2022-01-05bpf: 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-29bpf: Allow bpf_local_storage to be used by sleepable programsKP Singh1-0/+3
2021-12-18bpf: Add MEM_RDONLY for helper args that are pointers to rdonly mem.Hao Luo1-3/+17
2021-12-18bpf: Make per_cpu_ptr return rdonly PTR_TO_MEM.Hao Luo1-4/+26
2021-12-18bpf: Convert PTR_TO_MEM_OR_NULL to composable types.Hao Luo1-1/+1
2021-12-18bpf: Introduce MEM_RDONLY flagHao Luo1-34/+50
2021-12-18bpf: 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-16Only output backtracking information in log level 2Christy Lee1-3/+3
2021-12-16bpf: Right align verifier states in verifier logs.Christy Lee1-21/+36
2021-12-16bpf: Only print scratched registers and stack slots to verifier logs.Christy Lee1-14/+69
2021-12-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-17/+36
2021-12-16add 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-14bpf: Fix kernel address leakage in atomic cmpxchg's r0 aux regDaniel Borkmann1-1/+8
2021-12-14bpf: 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-10Merge 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-09Merge 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-18Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netJakub Kicinski1-2/+25
2021-11-15bpf: Fix toctou on read-only map's constant scalar trackingDaniel Borkmann1-1/+16
2021-11-15bpf: 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