summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2016-05-20bpf: teach verifier to recognize imm += ptr patternAlexei Starovoitov
2016-05-20bpf: support decreasing order in direct packet accessAlexei Starovoitov
2016-05-16bpf: add bpf_patch_insn_single helperDaniel Borkmann
2016-05-06bpf: improve verifier state equivalenceAlexei Starovoitov
2016-05-06bpf: direct packet accessAlexei Starovoitov
2016-05-06bpf: cleanup verifier codeAlexei Starovoitov
2016-05-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-04-28bpf: fix check_map_func_compatibility logicAlexei Starovoitov
2016-04-28bpf: fix refcnt overflowAlexei Starovoitov
2016-04-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-04-26bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn
2016-04-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-04-15bpf, verifier: add ARG_PTR_TO_RAW_STACK typeDaniel Borkmann
2016-04-15bpf, verifier: add bpf_call_arg_meta for passing meta dataDaniel Borkmann
2016-04-14bpf/verifier: reject invalid LD_ABS | BPF_DW instructionAlexei Starovoitov
2016-04-11bpf: simplify verifier register state assignmentsAlexei Starovoitov
2016-04-08bpf, verifier: further improve search pruningDaniel Borkmann
2016-04-08bpf: sanitize bpf tracepoint accessAlexei Starovoitov
2016-02-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-02-22bpf: add new arg_type that allows for 0 sized stack bufferDaniel Borkmann
2016-02-20bpf: introduce BPF_MAP_TYPE_STACK_TRACEAlexei Starovoitov
2016-02-10bpf: fix branch offset adjustment on backjumps after patching ctx expansionDaniel Borkmann
2016-01-12net: bpf: reject invalid shiftsRabin Vincent
2015-11-25bpf: fix clearing on persistent program array mapsDaniel Borkmann
2015-11-03bpf, verifier: annotate verbose printer with __printfDaniel Borkmann
2015-11-03bpf: align and clean bpf_{map,prog}_get helpersDaniel Borkmann
2015-10-22bpf: introduce bpf_perf_event_output() helperAlexei Starovoitov
2015-10-13bpf: enable non-root eBPF programsAlexei Starovoitov
2015-10-11bpf: fix cb access in socket filter programsAlexei Starovoitov
2015-09-09bpf: fix out of bounds access in verifier logAlexei Starovoitov
2015-08-12bpf: fix bpf_perf_event_read() loop upper boundWei-Chun Chao
2015-08-10bpf: Implement function bpf_perf_event_read() that get the selected hardware ...Kaixu Xia
2015-07-27ebpf: Allow dereferences of PTR_TO_STACK registersAlex Gartrell
2015-06-07bpf: allow programs to write to certain skb fieldsAlexei Starovoitov
2015-05-21bpf: allow bpf programs to tail-call other bpf programsAlexei Starovoitov
2015-04-16bpf: fix two bugs in verification logic when accessing 'ctx' pointerAlexei Starovoitov
2015-04-16bpf: fix verifier memory corruptionAlexei Starovoitov
2015-03-29tc: bpf: generalize pedit actionAlexei Starovoitov
2015-03-20ebpf: add sched_act_type and map it to sk_filter's verifier opsDaniel Borkmann
2015-03-16bpf: allow extended BPF programs access skb fieldsAlexei Starovoitov
2015-03-12ebpf: verifier: check that call reg with ARG_ANYTHING is initializedDaniel Borkmann
2015-03-01ebpf: move read-only fields to bpf_prog and shrink bpf_prog_auxDaniel Borkmann
2015-03-01ebpf: add sched_cls_type and map it to sk_filter's verifier opsDaniel Borkmann
2014-12-06bpf: verifier: add checks for BPF_ABS | BPF_IND instructionsAlexei Starovoitov
2014-10-30bpf: reduce verifier memory consumptionAlexei Starovoitov
2014-10-22bpf: fix bug in eBPF verifierAlexei Starovoitov
2014-10-02bpf: add search pruning optimization to verifierAlexei Starovoitov
2014-09-26bpf: verifier (add verifier core)Alexei Starovoitov
2014-09-26bpf: verifier (add branch/goto checks)Alexei Starovoitov
2014-09-26bpf: handle pseudo BPF_LD_IMM64 insnAlexei Starovoitov