summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
2017-02-14bpf: reduce compiler warnings by adding fallthrough commentsAlexander Alemayhu1-0/+5
2017-02-06bpf: enable verifier to add 0 to packet ptrWilliam Tu1-1/+1
2017-01-24bpf: enable verifier to better track const alu opsDaniel Borkmann1-19/+45
2017-01-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+1
2017-01-16bpf: rework prog_digest into prog_tagDaniel Borkmann1-1/+1
2017-01-12bpf: allow b/h/w/dw access for bpf's cb in ctxDaniel Borkmann1-2/+6
2017-01-12bpf: pass original insn directly to convert_ctx_accessDaniel Borkmann1-2/+1
2017-01-09bpf: rename ARG_PTR_TO_STACKAlexei Starovoitov1-14/+14
2017-01-09bpf: allow helpers access to variable memoryGianluca Borello1-10/+64
2017-01-09bpf: allow adjusted map element values to spillGianluca Borello1-5/+16
2017-01-09bpf: allow helpers access to map element valuesGianluca Borello1-2/+7
2017-01-09bpf: split check_mem_access logic for map valuesGianluca Borello1-39/+49
2016-12-17bpf: fix mark_reg_unknown_value for spilled regs on map value markingDaniel Borkmann1-3/+8
2016-12-17bpf: dynamically allocate digest scratch bufferDaniel Borkmann1-2/+4
2016-12-17bpf: fix regression on verifier pruning wrt map lookupsDaniel Borkmann1-3/+8
2016-12-08bpf: xdp: Allow head adjustment in XDP progMartin KaFai Lau1-1/+1
2016-12-08bpf: fix state equivalenceAlexei Starovoitov1-1/+1
2016-12-07bpf: fix loading of BPF_MAXINSNS sized programsDaniel Borkmann1-3/+0
2016-12-05bpf: add prog_digest and expose it via fdinfo/netlinkDaniel Borkmann1-0/+2
2016-12-05bpf: Preserve const register type on const OR alu opsGianluca Borello1-2/+7
2016-12-03Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-2/+8
2016-12-02bpf: BPF for lightweight tunnel infrastructureThomas Graf1-3/+11
2016-11-30bpf: fix states equal logic for varlen accessJosef Bacik1-2/+8
2016-11-22Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-23/+47
2016-11-16bpf: fix range arithmetic for bpf map accessJosef Bacik1-23/+47
2016-11-09bpf: Remove unused but set variablesTobias Klauser1-2/+0
2016-10-29bpf: Print function name in addition to function idThomas Graf1-8/+27
2016-10-19bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf1-16/+45
2016-09-29bpf: allow access into map value arraysJosef Bacik1-18/+311
2016-09-27bpf: Set register type according to is_valid_access()Mickaël Salaün1-3/+2
2016-09-21bpf: recognize 64bit immediate loads as constsJakub Kicinski1-2/+12
2016-09-21bpf: enable non-core use of the verfierJakub Kicinski1-0/+68
2016-09-21bpf: expose internal verfier structuresJakub Kicinski1-163/+103
2016-09-21bpf: don't (ab)use instructions to store stateJakub Kicinski1-30/+40
2016-09-20bpf: direct packet write and access for helpers for clsact progsDaniel Borkmann1-14/+40
2016-09-20bpf, verifier: enforce larger zero range for pkt on overloading stack buffsDaniel Borkmann1-1/+1
2016-09-08bpf: fix range propagation on direct packet accessDaniel Borkmann1-15/+40
2016-09-02bpf: perf_event progs should only use preallocated mapsAlexei Starovoitov1-1/+21
2016-09-02bpf: support 8-byte metafield accessAlexei Starovoitov1-3/+6
2016-08-18Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-2/+2
2016-08-12bpf: allow helpers access the packet directlyAlexei Starovoitov1-18/+43
2016-08-12bpf: fix bpf_skb_in_cgroup helper namingDaniel Borkmann1-2/+2
2016-08-12bpf: Add bpf_current_task_under_cgroup helperSargun Dhillon1-1/+3
2016-08-03bpf: fix method of PTR_TO_PACKET reg id generationJakub Kicinski1-1/+2
2016-07-19bpf: enable direct packet data write for xdp progsBrenden Blanco1-1/+16
2016-07-19bpf: add XDP prog type for early driver filterBrenden Blanco1-0/+1
2016-07-01cgroup: bpf: Add bpf_skb_in_cgroup_protoMartin KaFai Lau1-1/+7
2016-07-01cgroup: bpf: Add BPF_MAP_TYPE_CGROUP_ARRAYMartin KaFai Lau1-0/+2
2016-06-15bpf: fix matching of data/data_end in verifierAlexei Starovoitov1-34/+7
2016-05-20bpf: teach verifier to recognize imm += ptr patternAlexei Starovoitov1-1/+17