summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* 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
* bpf: fix matching of data/data_end in verifierAlexei Starovoitov2016-06-151-34/+7
* bpf: teach verifier to recognize imm += ptr patternAlexei Starovoitov2016-05-201-1/+17
* bpf: support decreasing order in direct packet accessAlexei Starovoitov2016-05-201-8/+4
* bpf: add bpf_patch_insn_single helperDaniel Borkmann2016-05-161-44/+9
* bpf: improve verifier state equivalenceAlexei Starovoitov2016-05-061-20/+3
* bpf: direct packet accessAlexei Starovoitov2016-05-061-8/+433
* bpf: cleanup verifier codeAlexei Starovoitov2016-05-061-47/+53
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-05-041-29/+47
|\
| * bpf: fix check_map_func_compatibility logicAlexei Starovoitov2016-04-281-25/+40
| * bpf: fix refcnt overflowAlexei Starovoitov2016-04-281-4/+7
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-04-271-1/+0
|\ \ | |/
| * bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn2016-04-261-1/+0
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2016-04-231-0/+1
|\ \ | |/
| * bpf/verifier: reject invalid LD_ABS | BPF_DW instructionAlexei Starovoitov2016-04-141-0/+1