summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c (follow)
Commit message (Expand)AuthorAge
* Merge remote-tracking branch 'msm8998/lineage-20' into lineage-20Raghuram Subramani2024-10-17
* FROMLIST: bpf: cgroup skb progs cannot access ld_abs/indDaniel Borkmann2022-04-19
* FROMLIST: [net-next,v2,1/2] bpf: Allow CGROUP_SKB eBPF program to access sk_buffChenbo Feng2022-04-19
* bpf: Fix buggy rsh min/max bounds trackingDaniel Borkmann2022-04-19
* bpf: check pending signals while verifying programsAlexei Starovoitov2022-04-19
* bpf: Prevent memory disambiguation attackAlexei Starovoitov2022-04-19
* bpf/verifier: Pass instruction index to check_mem_access() and check_xadd()Ben Hutchings2022-04-19
* bpf/verifier: Add spi variable to check_stack_write()Ben Hutchings2022-04-19
* bpf: fix references to free_bpf_prog_info() in commentsJakub Kicinski2022-04-19
* bpf: reject stores into ctx via st and xaddDaniel Borkmann2022-04-19
* bpf: fix 32-bit divide by zeroAlexei Starovoitov2022-04-19
* bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann2022-04-19
* bpf: prevent out-of-bounds speculationAlexei Starovoitov2022-04-19
* bpf: refactor fixup_bpf_calls()Alexei Starovoitov2022-04-19
* bpf: move fixup_bpf_calls() functionAlexei Starovoitov2022-04-19
* bpf/verifier: Fix states_equal() comparison of pointer and UNKNOWNBen Hutchings2022-04-19
* bpf: fix incorrect sign extension in check_alu_op()Jann Horn2022-04-19
* bpf: reject out-of-bounds stack pointer calculationJann Horn2022-04-19
* bpf: fix branch pruning logicAlexei Starovoitov2022-04-19
* bpf: adjust insn_aux_data when patching insnsAlexei Starovoitov2022-04-19
* bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree2022-04-19
* bpf/verifier: fix min/max handling in BPF_SUBEdward Cree2022-04-19
* bpf: fix mixed signed/unsigned derived min/max value boundsDaniel Borkmann2022-04-19
* bpf, verifier: fix alu ops against map_value{, _adj} register typesDaniel Borkmann2022-04-19
* bpf: adjust verifier heuristicsDaniel Borkmann2022-04-19
* bpf, verifier: add additional patterns to evaluate_reg_imm_aluJohn Fastabend2022-04-19
* bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann2022-04-19
* FROMLIST: bpf: cgroup skb progs cannot access ld_abs/indDaniel Borkmann2022-04-19
* FROMLIST: [net-next,v2,1/2] bpf: Allow CGROUP_SKB eBPF program to access sk_buffChenbo Feng2022-04-19
* bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann2022-04-19
* bpf: enhance verifier to understand stack pointer arithmeticYonghong Song2022-04-19
* bpf: improve verifier packet range checksAlexei Starovoitov2022-04-19
* bpf: fix mark_reg_unknown_value for spilled regs on map value markingDaniel Borkmann2022-04-19
* bpf: fix regression on verifier pruning wrt map lookupsDaniel Borkmann2022-04-19
* bpf: fix state equivalenceAlexei Starovoitov2022-04-19
* bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf2022-04-19
* bpf: fix states equal logic for varlen accessJosef Bacik2022-04-19
* bpf: fix range arithmetic for bpf map accessJosef Bacik2022-04-19
* bpf: allow access into map value arraysJosef Bacik2022-04-19
* bpf: Set register type according to is_valid_access()Mickaël Salaün2022-04-19
* bpf: recognize 64bit immediate loads as constsJakub Kicinski2022-04-19
* bpf: enable non-core use of the verfierJakub Kicinski2022-04-19
* bpf: expose internal verfier structuresJakub Kicinski2022-04-19
* bpf: don't (ab)use instructions to store stateJakub Kicinski2022-04-19
* bpf: direct packet write and access for helpers for clsact progsDaniel Borkmann2022-04-19
* bpf, verifier: enforce larger zero range for pkt on overloading stack buffsDaniel Borkmann2022-04-19
* bpf: fix range propagation on direct packet accessDaniel Borkmann2022-04-19
* bpf: perf_event progs should only use preallocated mapsAlexei Starovoitov2022-04-19
* bpf: support 8-byte metafield accessAlexei Starovoitov2022-04-19
* bpf: allow helpers access the packet directlyAlexei Starovoitov2022-04-19
generated by cgit v1.2.3 (git 2.25.1) at 2025-10-22 07:38:13 +0000