summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2019-03-10bpf: fix sanitation rewrite in case of non-pointersDaniel Borkmann
2019-01-31bpf: fix sanitation of alu op with pointer / scalar type from different pathsDaniel Borkmann
2019-01-31bpf: prevent out of bounds speculation on pointer arithmeticDaniel Borkmann
2019-01-31bpf: fix check_map_access smin_value test when pointer contains offsetDaniel Borkmann
2019-01-31bpf: restrict unknown scalars of mixed signed bounds for unprivilegedDaniel Borkmann
2019-01-31bpf: restrict stack pointer arithmetic for unprivilegedDaniel Borkmann
2019-01-31bpf: restrict map value pointer arithmetic for unprivilegedDaniel Borkmann
2019-01-31bpf: move {prev_,}insn_idx into verifier envDaniel Borkmann
2019-01-26bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang
2019-01-26bpf: Allow narrow loads with offset > 0Andrey Ignatov
2018-12-13bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski
2018-12-04bpf: add per-insn complexity limitAlexei Starovoitov
2018-12-04bpf: improve verifier branch analysisAlexei Starovoitov
2018-12-04bpf: check pending signals while verifying programsAlexei Starovoitov
2018-11-16bpf: fix off-by-one error in adjust_subprog_startsEdward Cree
2018-10-31bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann
2018-10-31bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann
2018-10-25bpf: make direct packet write unclone more robustDaniel Borkmann
2018-10-25bpf: fix cg_skb types to hint access type in may_access_direct_pkt_dataDaniel Borkmann
2018-10-25bpf: fix direct packet access for flow dissector progsDaniel Borkmann
2018-10-20bpf, verifier: avoid retpoline for map push/pop/peek operationDaniel Borkmann
2018-10-20bpf, verifier: remove unneeded flow key in check_helper_mem_accessDaniel Borkmann
2018-10-20bpf, verifier: reject xadd on flow key memoryDaniel Borkmann
2018-10-20bpf, verifier: fix register type dump in xadd and stDaniel Borkmann
2018-10-19bpf: add queue and stack mapsMauricio Vasquez B
2018-10-19bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUEMauricio Vasquez B
2018-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-10-08bpf: allow offload of programs with BPF-to-BPF function callsQuentin Monnet
2018-10-08bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet
2018-10-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-10-05bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn
2018-10-03bpf: Add helper to retrieve socket in BPFJoe Stringer
2018-10-03bpf: Add reference tracking to verifierJoe Stringer
2018-10-03bpf: Macrofy stack state copyJoe Stringer
2018-10-03bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer
2018-10-03bpf: Generalize ptr_or_null regs checkJoe Stringer
2018-10-03bpf: Reuse canonical string formatter for ctx errsJoe Stringer
2018-10-03bpf: Simplify ptr_min_max_vals adjustmentJoe Stringer
2018-10-03bpf: Add iterator for spilled registersJoe Stringer
2018-10-01bpf: introduce per-cpu cgroup local storageRoman Gushchin
2018-10-01bpf: extend cgroup bpf core to allow multiple cgroup storage typesRoman Gushchin
2018-09-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2018-09-18Merge ra.kernel.org:/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2018-09-14flow_dissector: implements flow dissector BPF hookPetar Penkov
2018-09-12bpf/verifier: disallow pointer subtractionAlexei Starovoitov
2018-09-05bpf/verifier: fix verifier instabilityAlexei Starovoitov
2018-08-29bpf/verifier: display non-spill stack slot types in print_verifier_stateEdward Cree
2018-08-29bpf/verifier: per-register parent pointersEdward Cree
2018-08-17bpf: fix redirect to map under tail callsDaniel Borkmann
2018-08-11bpf: Introduce BPF_PROG_TYPE_SK_REUSEPORTMartin KaFai Lau