aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2018-12-10Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-42/+197
2018-12-10bpf: relax verifier restriction on BPF_MOV | BPF_ALUJiong Wang1-4/+12
2018-12-09Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-14/+89
2018-12-09bpf: Add bpf_line_info supportMartin KaFai Lau1-24/+174
2018-12-07bpf: verifier remove the rejection on BPF_ALU | BPF_ARSHJiong Wang1-5/+0
2018-12-05bpf: Change insn_offset to insn_off in bpf_func_infoMartin KaFai Lau1-9/+9
2018-12-04bpf: add per-insn complexity limitAlexei Starovoitov1-1/+6
2018-12-04bpf: improve verifier branch analysisAlexei Starovoitov1-13/+80
2018-12-04bpf: check pending signals while verifying programsAlexei Starovoitov1-0/+3
2018-11-30bpf: Add BPF_F_ANY_ALIGNMENT.David Miller1-0/+2
2018-11-29Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-17/+38
2018-11-28Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+1
2018-11-26bpf: btf: support proper non-jit func infoYonghong Song1-17/+38
2018-11-20bpf: Introduce bpf_func_infoYonghong Song1-1/+119
2018-11-16bpf: fix off-by-one error in adjust_subprog_startsEdward Cree1-1/+1
2018-11-10bpf: Allow narrow loads with offset > 0Andrey Ignatov1-5/+16
2018-11-10bpf: pass prog instead of env to bpf_prog_offload_verifier_prep()Quentin Monnet1-1/+1
2018-11-09bpf: let verifier to calculate and record max_pkt_offsetJiong Wang1-0/+12
2018-10-31bpf: don't set id on after map lookup with ptr_to_map_val returnDaniel Borkmann1-5/+6
2018-10-31bpf: fix partial copy of map_ptr when dst is scalarDaniel Borkmann1-4/+6
2018-10-25bpf: make direct packet write unclone more robustDaniel Borkmann1-1/+5
2018-10-25bpf: fix cg_skb types to hint access type in may_access_direct_pkt_dataDaniel Borkmann1-0/+1
2018-10-25bpf: fix direct packet access for flow dissector progsDaniel Borkmann1-2/+4
2018-10-20bpf, verifier: avoid retpoline for map push/pop/peek operationDaniel Borkmann1-1/+24
2018-10-20bpf, verifier: remove unneeded flow key in check_helper_mem_accessDaniel Borkmann1-2/+0
2018-10-20bpf, verifier: reject xadd on flow key memoryDaniel Borkmann1-1/+10
2018-10-20bpf, verifier: fix register type dump in xadd and stDaniel Borkmann1-6/+13
2018-10-19bpf: add queue and stack mapsMauricio Vasquez B1-1/+18
2018-10-19bpf/verifier: add ARG_PTR_TO_UNINIT_MAP_VALUEMauricio Vasquez B1-3/+6
2018-10-08Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-124/+516
2018-10-08bpf: allow offload of programs with BPF-to-BPF function callsQuentin Monnet1-7/+3
2018-10-08bpf: add verifier callback to get stack usage info for offloaded progsQuentin Monnet1-0/+3
2018-10-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+9
2018-10-05bpf: 32-bit RSH verification must truncate input before the ALU opJann Horn1-1/+9
2018-10-03bpf: Add helper to retrieve socket in BPFJoe Stringer1-1/+7
2018-10-03bpf: Add reference tracking to verifierJoe Stringer1-19/+287
2018-10-03bpf: Macrofy stack state copyJoe Stringer1-46/+60
2018-10-03bpf: Add PTR_TO_SOCKET verifier typeJoe Stringer1-14/+106
2018-10-03bpf: Generalize ptr_or_null regs checkJoe Stringer1-18/+25
2018-10-03bpf: Reuse canonical string formatter for ctx errsJoe Stringer1-4/+3
2018-10-03bpf: Simplify ptr_min_max_vals adjustmentJoe Stringer1-12/+10
2018-10-03bpf: Add iterator for spilled registersJoe Stringer1-9/+7
2018-10-01bpf: introduce per-cpu cgroup local storageRoman Gushchin1-4/+11
2018-10-01bpf: extend cgroup bpf core to allow multiple cgroup storage typesRoman Gushchin1-2/+6
2018-09-25Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-8/+40
2018-09-18Merge ra.kernel.org:/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+1
2018-09-14flow_dissector: implements flow dissector BPF hookPetar Penkov1-0/+32
2018-09-12bpf/verifier: disallow pointer subtractionAlexei Starovoitov1-1/+1
2018-09-05bpf/verifier: fix verifier instabilityAlexei Starovoitov1-8/+8
2018-08-29bpf/verifier: display non-spill stack slot types in print_verifier_stateEdward Cree1-7/+25