summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* bpf: properly reset caller saved regs after helper call and ld_abs/indDaniel Borkmann2017-05-251-21/+16Star
* bpf: fix incorrect pruning decision when alignment must be trackedDaniel Borkmann2017-05-251-9/+10
* net: Make IP alignment calulations clearer.David S. Miller2017-05-221-4/+8
* bpf: adjust verifier heuristicsDaniel Borkmann2017-05-181-1/+11
* bpf: Handle multiple variable additions into packet pointers in verifier.David S. Miller2017-05-121-1/+1
* bpf: Add strict alignment flag for BPF_PROG_LOAD.David S. Miller2017-05-111-6/+17
* bpf: Do per-instruction state dumping in verifier when log_level > 1.David S. Miller2017-05-111-2/+6
* bpf: Track alignment of register values in the verifier.David S. Miller2017-05-111-19/+89
* bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann2017-05-081-5/+16
* bpf: enhance verifier to understand stack pointer arithmeticYonghong Song2017-05-011-0/+11
* bpf: make bpf_xdp_adjust_head support mandatoryDaniel Borkmann2017-04-241-3/+0Star
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-04-201-0/+8
|\
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-04-061-22/+42
|\|
| * bpf, verifier: fix rejection of unaligned access checks for map_value_adjDaniel Borkmann2017-04-011-20/+38
| * bpf, verifier: fix alu ops against map_value{, _adj} register typesDaniel Borkmann2017-04-011-0/+1
| * bpf: improve verifier packet range checksAlexei Starovoitov2017-03-251-2/+3
* | bpf: Add hash of maps supportMartin KaFai Lau2017-03-221-1/+3
* | bpf: Add array of maps supportMartin KaFai Lau2017-03-221-9/+33
* | bpf: Fix and simplifications on inline map lookupMartin KaFai Lau2017-03-221-2/+11
* | bpf: add helper inlining infra and optimize map_array lookupAlexei Starovoitov2017-03-171-3/+33
* | bpf: adjust insn_aux_data when patching insnsAlexei Starovoitov2017-03-171-5/+39
* | bpf: refactor fixup_bpf_calls()Alexei Starovoitov2017-03-171-41/+35Star
* | bpf: move fixup_bpf_calls() functionAlexei Starovoitov2017-03-171-0/+57
|/
* bpf: update the comment about the length of analysisGary Lin2017-03-011-1/+1
* bpf: fix spelling mistake: "proccessed" -> "processed"Colin Ian King2017-02-231-1/+1
* bpf: reduce compiler warnings by adding fallthrough commentsAlexander Alemayhu2017-02-141-0/+5
* bpf: enable verifier to add 0 to packet ptrWilliam Tu2017-02-071-1/+1
* bpf: enable verifier to better track const alu opsDaniel Borkmann2017-01-241-19/+45
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2017-01-171-1/+1
|\
| * bpf: rework prog_digest into prog_tagDaniel Borkmann2017-01-161-1/+1
* | bpf: allow b/h/w/dw access for bpf's cb in ctxDaniel Borkmann2017-01-121-2/+6
* | bpf: pass original insn directly to convert_ctx_accessDaniel Borkmann2017-01-121-2/+1Star
* | bpf: rename ARG_PTR_TO_STACKAlexei Starovoitov2017-01-091-14/+14
* | bpf: allow helpers access to variable memoryGianluca Borello2017-01-091-10/+64
* | bpf: allow adjusted map element values to spillGianluca Borello2017-01-091-5/+16
* | bpf: allow helpers access to map element valuesGianluca Borello2017-01-091-2/+7
* | bpf: split check_mem_access logic for map valuesGianluca Borello2017-01-091-39/+49
|/
* bpf: fix mark_reg_unknown_value for spilled regs on map value markingDaniel Borkmann2016-12-181-3/+8
* bpf: dynamically allocate digest scratch bufferDaniel Borkmann2016-12-181-2/+4
* bpf: fix regression on verifier pruning wrt map lookupsDaniel Borkmann2016-12-171-3/+8
* bpf: xdp: Allow head adjustment in XDP progMartin KaFai Lau2016-12-081-1/+1
* bpf: fix state equivalenceAlexei Starovoitov2016-12-081-1/+1
* bpf: fix loading of BPF_MAXINSNS sized programsDaniel Borkmann2016-12-071-3/+0Star
* bpf: add prog_digest and expose it via fdinfo/netlinkDaniel Borkmann2016-12-051-0/+2
* bpf: Preserve const register type on const OR alu opsGianluca Borello2016-12-051-2/+7
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-12-031-2/+8
|\
| * bpf: fix states equal logic for varlen accessJosef Bacik2016-11-301-2/+8
* | bpf: BPF for lightweight tunnel infrastructureThomas Graf2016-12-021-3/+11
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-11-221-23/+47
|\|
| * bpf: fix range arithmetic for bpf map accessJosef Bacik2016-11-161-23/+47