summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2018-12-13bpf: verifier: make sure callees don't prune with caller differencesJakub Kicinski-3/+10
2018-12-04bpf: add per-insn complexity limitAlexei Starovoitov-1/+6
2018-12-04bpf: improve verifier branch analysisAlexei Starovoitov-13/+80
2018-12-04bpf: check pending signals while verifying programsAlexei Starovoitov-0/+3
2018-11-16bpf: fix off-by-one error in adjust_subprog_startsEdward Cree-1/+1
2018-10-31bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann-5/+6
2018-10-31bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann-4/+6
2018-10-25bpf: make direct packet write unclone more robustDaniel Borkmann-1/+5
2018-10-25bpf: fix cg_skb types to hint access type in may_access_direct_pkt_dataDaniel Borkmann-0/+1
2018-10-25bpf: fix direct packet access for flow dissector progsDaniel Borkmann-2/+4
2018-10-20bpf, verifier: avoid retpoline for map push/pop/peek operationDaniel Borkmann-1/+24
2018-10-20bpf, verifier: remove unneeded flow key in check_helper_mem_accessDaniel Borkmann-2/+0
2018-10-20bpf, verifier: reject xadd on flow key memoryDaniel Borkmann-1/+10
2018-10-20bpf, verifier: fix register type dump in xadd and stDaniel Borkmann-6/+13
2018-10-19bpf: add queue and stack mapsMauricio Vasquez B-1/+18
2018-10-19bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUEMauricio Vasquez B-3/+6
2018-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-124/+516
2018-10-08bpf: allow offload of programs with BPF-to-BPF function callsQuentin Monnet-7/+3
2018-10-08bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet-0/+3
2018-10-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+9
2018-10-05bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn-1/+9
2018-10-03bpf: Add helper to retrieve socket in BPFJoe Stringer-1/+7
2018-10-03bpf: Add reference tracking to verifierJoe Stringer-19/+287
2018-10-03bpf: Macrofy stack state copyJoe Stringer-46/+60
2018-10-03bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer-14/+106
2018-10-03bpf: Generalize ptr_or_null regs checkJoe Stringer-18/+25
2018-10-03bpf: Reuse canonical string formatter for ctx errsJoe Stringer-4/+3
2018-10-03bpf: Simplify ptr_min_max_vals adjustmentJoe Stringer-12/+10
2018-10-03bpf: Add iterator for spilled registersJoe Stringer-9/+7
2018-10-01bpf: introduce per-cpu cgroup local storageRoman Gushchin-4/+11
2018-10-01bpf: extend cgroup bpf core to allow multiple cgroup storage typesRoman Gushchin-2/+6
2018-09-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-8/+40
2018-09-18Merge ra.kernel.org:/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+1
2018-09-14flow_dissector: implements flow dissector BPF hookPetar Penkov-0/+32
2018-09-12bpf/verifier: disallow pointer subtractionAlexei Starovoitov-1/+1
2018-09-05bpf/verifier: fix verifier instabilityAlexei Starovoitov-8/+8
2018-08-29bpf/verifier: display non-spill stack slot types in print_verifier_stateEdward Cree-7/+25
2018-08-29bpf/verifier: per-register parent pointersEdward Cree-140/+44
2018-08-17bpf: fix redirect to map under tail callsDaniel Borkmann-21/+0
2018-08-11bpf: Introduce BPF_PROG_TYPE_SK_REUSEPORTMartin KaFai Lau-0/+9
2018-08-03bpf: introduce the bpf_get_local_storage() helper functionRoman Gushchin-0/+18
2018-08-03bpf/verifier: introduce BPF_PTR_TO_MAP_VALUERoman Gushchin-2/+6
2018-08-03bpf: introduce cgroup storage mapsRoman Gushchin-0/+12
2018-07-31bpf: verifier: MOV64 don't mark dst reg unboundedArthur Fabre-2/+4
2018-07-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller-1/+1
2018-07-18bpf: offload: rename bpf_offload_dev_match() to bpf_offload_prog_map_match()Jakub Kicinski-1/+1
2018-07-12bpf: don't leave partial mangled prog in jit_subprogs error pathDaniel Borkmann-2/+9
2018-06-12treewide: Use array_size() in vzalloc()Kees Cook-3/+5
2018-06-12treewide: kzalloc() -> kcalloc()Kees Cook-1/+1
2018-06-07bpf: reject passing modified ctx to helper functionsDaniel Borkmann-17/+31