summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* 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-061-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/+1
* | 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-171-3/+8
* bpf: dynamically allocate digest scratch bufferDaniel Borkmann2016-12-171-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/+0
* 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
* | bpf: Remove unused but set variablesTobias Klauser2016-11-091-2/+0
* | bpf: Print function name in addition to function idThomas Graf2016-10-291-8/+27
* | bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf2016-10-191-16/+45
|/
* bpf: allow access into map value arraysJosef Bacik2016-09-291-18/+311
* bpf: Set register type according to is_valid_access()Mickaël Salaün2016-09-271-3/+2
* bpf: recognize 64bit immediate loads as constsJakub Kicinski2016-09-211-2/+12
* bpf: enable non-core use of the verfierJakub Kicinski2016-09-211-0/+68
* bpf: expose internal verfier structuresJakub Kicinski2016-09-211-163/+103
* bpf: don't (ab)use instructions to store stateJakub Kicinski2016-09-211-30/+40
* bpf: direct packet write and access for helpers for clsact progsDaniel Borkmann2016-09-201-14/+40
* bpf, verifier: enforce larger zero range for pkt on overloading stack buffsDaniel Borkmann2016-09-201-1/+1
* bpf: fix range propagation on direct packet accessDaniel Borkmann2016-09-081-15/+40
* bpf: perf_event progs should only use preallocated mapsAlexei Starovoitov2016-09-021-1/+21
* bpf: support 8-byte metafield accessAlexei Starovoitov2016-09-021-3/+6
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-08-181-2/+2
|\
| * bpf: fix bpf_skb_in_cgroup helper namingDaniel Borkmann2016-08-121-2/+2
* | bpf: allow helpers access the packet directlyAlexei Starovoitov2016-08-121-18/+43
* | bpf: Add bpf_current_task_under_cgroup helperSargun Dhillon2016-08-121-1/+3
|/
* bpf: fix method of PTR_TO_PACKET reg id generationJakub Kicinski2016-08-031-1/+2
* bpf: enable direct packet data write for xdp progsBrenden Blanco2016-07-191-1/+16
* bpf: add XDP prog type for early driver filterBrenden Blanco2016-07-191-0/+1
* cgroup: bpf: Add bpf_skb_in_cgroup_protoMartin KaFai Lau2016-07-011-1/+7
* cgroup: bpf: Add BPF_MAP_TYPE_CGROUP_ARRAYMartin KaFai Lau2016-07-011-0/+2