summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2018-02-03bpf: reject stores into ctx via st and xaddDaniel Borkmann
2018-02-03bpf: fix 32-bit divide by zeroAlexei Starovoitov
2018-02-03bpf: arsh is not supported in 32 bit alu thus reject itDaniel Borkmann
2018-02-03bpf: fix branch pruning logicAlexei Starovoitov
2018-01-17bpf: prevent out-of-bounds speculationAlexei Starovoitov
2018-01-17bpf: adjust insn_aux_data when patching insnsAlexei Starovoitov
2018-01-17bpf: refactor fixup_bpf_calls()Alexei Starovoitov
2018-01-17bpf: move fixup_bpf_calls() functionAlexei Starovoitov
2018-01-17bpf: don't (ab)use instructions to store stateJakub Kicinski
2018-01-17bpf: add bpf_patch_insn_single helperDaniel Borkmann
2017-11-21bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann
2017-10-21bpf/verifier: reject BPF_ALU64|BPF_ENDEdward Cree
2017-07-21bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann
2016-05-18bpf: fix check_map_func_compatibility logicAlexei Starovoitov
2016-05-18bpf: fix refcnt overflowAlexei Starovoitov
2016-05-18bpf: fix double-fdput in replace_map_fd_with_map_ptr()Jann Horn
2016-05-18bpf/verifier: reject invalid LD_ABS | BPF_DW instructionAlexei Starovoitov
2016-03-03bpf: fix branch offset adjustment on backjumps after patching ctx expansionDaniel Borkmann
2016-01-31net: 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-02bpf: align and clean bpf_{map,prog}_get helpersDaniel Borkmann
2015-10-22bpf: introduce bpf_perf_event_output() helperAlexei Starovoitov
2015-10-12bpf: 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-09bpf: 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-15bpf: 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-05bpf: verifier: add checks for BPF_ABS | BPF_IND instructionsAlexei Starovoitov
2014-10-30bpf: reduce verifier memory consumptionAlexei Starovoitov
2014-10-21bpf: fix bug in eBPF verifierAlexei Starovoitov
2014-10-01bpf: 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
2014-09-26bpf: verifier (add ability to receive verification log)Alexei Starovoitov
2014-09-26bpf: verifier (add docs)Alexei Starovoitov