summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)AuthorFilesLines
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-16bpf: fix matching of data/data_end in verifierAlexei Starovoitov1-34/+7
2016-05-21bpf: teach verifier to recognize imm += ptr patternAlexei Starovoitov1-1/+17
2016-05-21bpf: 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-29bpf: fix check_map_func_compatibility logicAlexei Starovoitov1-25/+40
2016-04-29bpf: 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-27bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn1-1/+0
2016-04-24Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-0/+1
2016-04-15bpf, verifier: add ARG_PTR_TO_RAW_STACK typeDaniel Borkmann1-5/+54
2016-04-15bpf, 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-11bpf: simplify verifier register state assignmentsAlexei Starovoitov1-4/+2
2016-04-08bpf, verifier: further improve search pruningDaniel Borkmann1-2/+7
2016-04-08bpf: 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-22bpf: 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-11bpf: fix branch offset adjustment on backjumps after patching ctx expansionDaniel Borkmann1-1/+1
2016-01-13net: 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-03bpf: 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-13bpf: enable non-root eBPF programsAlexei Starovoitov1-9/+97
2015-10-11bpf: fix cb access in socket filter programsAlexei Starovoitov1-1/+1
2015-09-10bpf: fix out of bounds access in verifier logAlexei Starovoitov1-2/+2
2015-08-13bpf: fix bpf_perf_event_read() loop upper boundWei-Chun Chao1-1/+1
2015-08-10bpf: 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-22bpf: 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-21ebpf: add sched_act_type and map it to sk_filter's verifier opsDaniel Borkmann1-0/+1
2015-03-16bpf: 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-06bpf: verifier: add checks for BPF_ABS | BPF_IND instructionsAlexei Starovoitov1-2/+68
2014-10-30bpf: reduce verifier memory consumptionAlexei Starovoitov1-44/+57
2014-10-22bpf: fix bug in eBPF verifierAlexei Starovoitov1-1/+2
2014-10-02bpf: add search pruning optimization to verifierAlexei Starovoitov1-0/+146