summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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
2016-05-20bpf: support decreasing order in direct packet accessAlexei Starovoitov1-8/+4
2016-05-16bpf: add bpf_patch_insn_single helperDaniel Borkmann1-44/+9
2016-05-06bpf: improve verifier state equivalenceAlexei Starovoitov1-20/+3
2016-05-06bpf: direct packet accessAlexei Starovoitov1-8/+433
2016-05-06bpf: cleanup verifier codeAlexei Starovoitov1-47/+53
2016-05-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-29/+47
2016-04-28bpf: fix check_map_func_compatibility logicAlexei Starovoitov1-25/+40
2016-04-28bpf: fix refcnt overflowAlexei Starovoitov1-4/+7
2016-04-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+0
2016-04-26bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn1-1/+0
2016-04-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-0/+1
2016-04-14bpf, verifier: add ARG_PTR_TO_RAW_STACK typeDaniel Borkmann1-5/+54
2016-04-14bpf, verifier: add bpf_call_arg_meta for passing meta dataDaniel Borkmann1-17/+23
2016-04-14bpf/verifier: reject invalid LD_ABS | BPF_DW instructionAlexei Starovoitov1-0/+1
2016-04-10bpf: simplify verifier register state assignmentsAlexei Starovoitov1-4/+2
2016-04-08bpf, verifier: further improve search pruningDaniel Borkmann1-2/+7
2016-04-07bpf: sanitize bpf tracepoint accessAlexei Starovoitov1-1/+5
2016-02-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-1/+1
2016-02-21bpf: add new arg_type that allows for 0 sized stack bufferDaniel Borkmann1-10/+32
2016-02-20bpf: introduce BPF_MAP_TYPE_STACK_TRACEAlexei Starovoitov1-1/+5
2016-02-10bpf: fix branch offset adjustment on backjumps after patching ctx expansionDaniel Borkmann1-1/+1
2016-01-12net: bpf: reject invalid shiftsRabin Vincent1-0/+10
2015-11-25bpf: fix clearing on persistent program array mapsDaniel Borkmann1-2/+1
2015-11-03bpf, verifier: annotate verbose printer with __printfDaniel Borkmann1-1/+1
2015-11-02bpf: align and clean bpf_{map,prog}_get helpersDaniel Borkmann1-2/+1
2015-10-22bpf: introduce bpf_perf_event_output() helperAlexei Starovoitov1-1/+2
2015-10-12bpf: enable non-root eBPF programsAlexei Starovoitov1-9/+97
2015-10-11bpf: fix cb access in socket filter programsAlexei Starovoitov1-1/+1
2015-09-09bpf: fix out of bounds access in verifier logAlexei Starovoitov1-2/+2
2015-08-12bpf: fix bpf_perf_event_read() loop upper boundWei-Chun Chao1-1/+1
2015-08-09bpf: Implement function bpf_perf_event_read() that get the selected hardware ...Kaixu Xia1-15/+33
2015-07-27ebpf: Allow dereferences of PTR_TO_STACK registersAlex Gartrell1-1/+5
2015-06-07bpf: allow programs to write to certain skb fieldsAlexei Starovoitov1-9/+28
2015-05-21bpf: allow bpf programs to tail-call other bpf programsAlexei Starovoitov1-0/+17
2015-04-16bpf: fix two bugs in verification logic when accessing 'ctx' pointerAlexei Starovoitov1-2/+7
2015-04-16bpf: fix verifier memory corruptionAlexei Starovoitov1-1/+2
2015-03-29tc: bpf: generalize pedit actionAlexei Starovoitov1-0/+2
2015-03-20ebpf: add sched_act_type and map it to sk_filter's verifier opsDaniel Borkmann1-0/+1
2015-03-15bpf: allow extended BPF programs access skb fieldsAlexei Starovoitov1-16/+136
2015-03-12ebpf: verifier: check that call reg with ARG_ANYTHING is initializedDaniel Borkmann1-1/+4
2015-03-01ebpf: move read-only fields to bpf_prog and shrink bpf_prog_auxDaniel Borkmann1-2/+2
2015-03-01ebpf: add sched_cls_type and map it to sk_filter's verifier opsDaniel Borkmann1-2/+13
2014-12-05bpf: verifier: add checks for BPF_ABS | BPF_IND instructionsAlexei Starovoitov1-2/+68
2014-10-30bpf: reduce verifier memory consumptionAlexei Starovoitov1-44/+57
2014-10-21bpf: fix bug in eBPF verifierAlexei Starovoitov1-1/+2
2014-10-01bpf: add search pruning optimization to verifierAlexei Starovoitov1-0/+146
2014-09-26bpf: verifier (add verifier core)Alexei Starovoitov1-1/+1074
2014-09-26bpf: verifier (add branch/goto checks)Alexei Starovoitov1-0/+189