summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorLines
2016-11-30bpf: fix states equal logic for varlen accessJosef Bacik-2/+8
2016-11-16bpf: fix range arithmetic for bpf map accessJosef Bacik-23/+47
2016-09-29bpf: allow access into map value arraysJosef Bacik-18/+311
2016-09-27bpf: Set register type according to is_valid_access()Mickaël Salaün-3/+2
2016-09-21bpf: recognize 64bit immediate loads as constsJakub Kicinski-2/+12
2016-09-21bpf: enable non-core use of the verfierJakub Kicinski-0/+68
2016-09-21bpf: expose internal verfier structuresJakub Kicinski-163/+103
2016-09-21bpf: don't (ab)use instructions to store stateJakub Kicinski-30/+40
2016-09-20bpf: direct packet write and access for helpers for clsact progsDaniel Borkmann-14/+40
2016-09-20bpf, verifier: enforce larger zero range for pkt on overloading stack buffsDaniel Borkmann-1/+1
2016-09-08bpf: fix range propagation on direct packet accessDaniel Borkmann-15/+40
2016-09-02bpf: perf_event progs should only use preallocated mapsAlexei Starovoitov-1/+21
2016-09-02bpf: support 8-byte metafield accessAlexei Starovoitov-3/+6
2016-08-18Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-2/+2
2016-08-12bpf: allow helpers access the packet directlyAlexei Starovoitov-18/+43
2016-08-12bpf: fix bpf_skb_in_cgroup helper namingDaniel Borkmann-2/+2
2016-08-12bpf: Add bpf_current_task_under_cgroup helperSargun Dhillon-1/+3
2016-08-03bpf: fix method of PTR_TO_PACKET reg id generationJakub Kicinski-1/+2
2016-07-19bpf: enable direct packet data write for xdp progsBrenden Blanco-1/+16
2016-07-19bpf: add XDP prog type for early driver filterBrenden Blanco-0/+1
2016-07-01cgroup: bpf: Add bpf_skb_in_cgroup_protoMartin KaFai Lau-1/+7
2016-07-01cgroup: bpf: Add BPF_MAP_TYPE_CGROUP_ARRAYMartin KaFai Lau-0/+2
2016-06-15bpf: fix matching of data/data_end in verifierAlexei Starovoitov-34/+7
2016-05-20bpf: teach verifier to recognize imm += ptr patternAlexei Starovoitov-1/+17
2016-05-20bpf: support decreasing order in direct packet accessAlexei Starovoitov-8/+4
2016-05-16bpf: add bpf_patch_insn_single helperDaniel Borkmann-44/+9
2016-05-06bpf: improve verifier state equivalenceAlexei Starovoitov-20/+3
2016-05-06bpf: direct packet accessAlexei Starovoitov-8/+433
2016-05-06bpf: cleanup verifier codeAlexei Starovoitov-47/+53
2016-05-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-29/+47
2016-04-28bpf: fix check_map_func_compatibility logicAlexei Starovoitov-25/+40
2016-04-28bpf: fix refcnt overflowAlexei Starovoitov-4/+7
2016-04-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+0
2016-04-26bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn-1/+0
2016-04-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-0/+1
2016-04-14bpf, verifier: add ARG_PTR_TO_RAW_STACK typeDaniel Borkmann-5/+54
2016-04-14bpf, verifier: add bpf_call_arg_meta for passing meta dataDaniel Borkmann-17/+23
2016-04-14bpf/verifier: reject invalid LD_ABS | BPF_DW instructionAlexei Starovoitov-0/+1
2016-04-10bpf: simplify verifier register state assignmentsAlexei Starovoitov-4/+2
2016-04-08bpf, verifier: further improve search pruningDaniel Borkmann-2/+7
2016-04-07bpf: sanitize bpf tracepoint accessAlexei Starovoitov-1/+5
2016-02-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller-1/+1
2016-02-21bpf: add new arg_type that allows for 0 sized stack bufferDaniel Borkmann-10/+32
2016-02-20bpf: introduce BPF_MAP_TYPE_STACK_TRACEAlexei Starovoitov-1/+5
2016-02-10bpf: fix branch offset adjustment on backjumps after patching ctx expansionDaniel Borkmann-1/+1
2016-01-12net: bpf: reject invalid shiftsRabin Vincent-0/+10
2015-11-25bpf: fix clearing on persistent program array mapsDaniel Borkmann-2/+1
2015-11-03bpf, verifier: annotate verbose printer with __printfDaniel Borkmann-1/+1
2015-11-02bpf: align and clean bpf_{map,prog}_get helpersDaniel Borkmann-2/+1
2015-10-22bpf: introduce bpf_perf_event_output() helperAlexei Starovoitov-1/+2