summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-11-301-17/+38
|\
| * bpf: btf: support proper non-jit func infoYonghong Song2018-11-271-17/+38
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-11-291-1/+1
|\ \ | |/ |/|
| * bpf: fix off-by-one error in adjust_subprog_startsEdward Cree2018-11-171-1/+1
* | bpf: Introduce bpf_func_infoYonghong Song2018-11-201-1/+119
* | bpf: Allow narrow loads with offset > 0Andrey Ignatov2018-11-111-5/+16
* | bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet2018-11-111-1/+1
* | bpf: let verifier to calculate and record max_pkt_offsetJiong Wang2018-11-091-0/+12
|/
* bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann2018-11-011-5/+6
* bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann2018-11-011-4/+6
* bpf: make direct packet write unclone more robustDaniel Borkmann2018-10-261-1/+5
* bpf: fix cg_skb types to hint access type in may_access_direct_pkt_dataDaniel Borkmann2018-10-261-0/+1
* bpf: fix direct packet access for flow dissector progsDaniel Borkmann2018-10-261-2/+4
* bpf, verifier: avoid retpoline for map push/pop/peek operationDaniel Borkmann2018-10-211-1/+24
* bpf, verifier: remove unneeded flow key in check_helper_mem_accessDaniel Borkmann2018-10-211-2/+0Star
* bpf, verifier: reject xadd on flow key memoryDaniel Borkmann2018-10-211-1/+10
* bpf, verifier: fix register type dump in xadd and stDaniel Borkmann2018-10-211-6/+13
* bpf: add queue and stack mapsMauricio Vasquez B2018-10-191-1/+18
* bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUEMauricio Vasquez B2018-10-191-3/+6
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-10-091-124/+516
|\
| * bpf: allow offload of programs with BPF-to-BPF function callsQuentin Monnet2018-10-081-7/+3Star
| * bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet2018-10-081-0/+3
| * bpf: Add helper to retrieve socket in BPFJoe Stringer2018-10-031-1/+7
| * bpf: Add reference tracking to verifierJoe Stringer2018-10-031-19/+287
| * bpf: Macrofy stack state copyJoe Stringer2018-10-031-46/+60
| * bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer2018-10-031-14/+106
| * bpf: Generalize ptr_or_null regs checkJoe Stringer2018-10-031-18/+25
| * bpf: Reuse canonical string formatter for ctx errsJoe Stringer2018-10-031-4/+3Star
| * bpf: Simplify ptr_min_max_vals adjustmentJoe Stringer2018-10-031-12/+10Star
| * bpf: Add iterator for spilled registersJoe Stringer2018-10-031-9/+7Star
| * bpf: introduce per-cpu cgroup local storageRoman Gushchin2018-10-011-4/+11
| * bpf: extend cgroup bpf core to allow multiple cgroup storage typesRoman Gushchin2018-10-011-2/+6
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-10-061-1/+9
|\ \ | |/ |/|
| * bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn2018-10-051-1/+9
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-09-261-8/+40
|\ \
| * | flow_dissector: implements flow dissector BPF hookPetar Penkov2018-09-141-0/+32
| * | bpf/verifier: fix verifier instabilityAlexei Starovoitov2018-09-061-8/+8
* | | Merge ra.kernel.org:/pub/scm/linux/kernel/git/davem/netDavid S. Miller2018-09-181-1/+1
|\ \ \ | |/ / |/| / | |/
| * bpf/verifier: disallow pointer subtractionAlexei Starovoitov2018-09-121-1/+1
* | bpf/verifier: display non-spill stack slot types in print_verifier_stateEdward Cree2018-08-301-7/+25
* | bpf/verifier: per-register parent pointersEdward Cree2018-08-301-140/+44Star
|/
* bpf: fix redirect to map under tail callsDaniel Borkmann2018-08-181-21/+0Star
* bpf: Introduce BPF_PROG_TYPE_SK_REUSEPORTMartin KaFai Lau2018-08-111-0/+9
* bpf: introduce the bpf_get_local_storage() helper functionRoman Gushchin2018-08-031-0/+18
* bpf/verifier: introduce BPF_PTR_TO_MAP_VALUERoman Gushchin2018-08-031-2/+6
* bpf: introduce cgroup storage mapsRoman Gushchin2018-08-031-0/+12
* bpf: verifier: MOV64 don't mark dst reg unboundedArthur Fabre2018-07-311-2/+4
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2018-07-211-1/+1
|\
| * bpf: offload: rename bpf_offload_dev_match() to bpf_offload_prog_map_match()Jakub Kicinski2018-07-181-1/+1
* | bpf: don't leave partial mangled prog in jit_subprogs error pathDaniel Borkmann2018-07-121-2/+9
|/