summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2017-07-21bpf: prevent leaking pointer via xadd on unpriviledgedDaniel Borkmann
2017-05-14bpf: don't let ldimm64 leak map addresses on unprivilegedDaniel Borkmann
2017-05-14bpf: enhance verifier to understand stack pointer arithmeticYonghong Song
2017-05-03bpf: improve verifier packet range checksAlexei Starovoitov
2017-03-22bpf: fix mark_reg_unknown_value for spilled regs on map value markingDaniel Borkmann
2017-03-22bpf: fix regression on verifier pruning wrt map lookupsDaniel Borkmann
2017-03-22bpf: fix state equivalenceAlexei Starovoitov
2017-03-22bpf: Detect identical PTR_TO_MAP_VALUE_OR_NULL registersThomas Graf
2016-11-30bpf: fix states equal logic for varlen accessJosef Bacik
2016-11-16bpf: fix range arithmetic for bpf map accessJosef Bacik
2016-09-29bpf: allow access into map value arraysJosef Bacik
2016-09-27bpf: Set register type according to is_valid_access()Mickaël Salaün
2016-09-21bpf: recognize 64bit immediate loads as constsJakub Kicinski
2016-09-21bpf: enable non-core use of the verfierJakub Kicinski
2016-09-21bpf: expose internal verfier structuresJakub Kicinski
2016-09-21bpf: don't (ab)use instructions to store stateJakub Kicinski
2016-09-20bpf: direct packet write and access for helpers for clsact progsDaniel Borkmann
2016-09-20bpf, verifier: enforce larger zero range for pkt on overloading stack buffsDaniel Borkmann
2016-09-08bpf: fix range propagation on direct packet accessDaniel Borkmann
2016-09-02bpf: perf_event progs should only use preallocated mapsAlexei Starovoitov
2016-09-02bpf: support 8-byte metafield accessAlexei Starovoitov
2016-08-18Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2016-08-12bpf: allow helpers access the packet directlyAlexei Starovoitov
2016-08-12bpf: fix bpf_skb_in_cgroup helper namingDaniel Borkmann
2016-08-12bpf: Add bpf_current_task_under_cgroup helperSargun Dhillon
2016-08-03bpf: fix method of PTR_TO_PACKET reg id generationJakub Kicinski
2016-07-19bpf: enable direct packet data write for xdp progsBrenden Blanco
2016-07-19bpf: add XDP prog type for early driver filterBrenden Blanco
2016-07-01cgroup: bpf: Add bpf_skb_in_cgroup_protoMartin KaFai Lau
2016-07-01cgroup: bpf: Add BPF_MAP_TYPE_CGROUP_ARRAYMartin KaFai Lau
2016-06-15bpf: fix matching of data/data_end in verifierAlexei Starovoitov
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-14bpf, verifier: add ARG_PTR_TO_RAW_STACK typeDaniel Borkmann
2016-04-14bpf, 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-10bpf: simplify verifier register state assignmentsAlexei Starovoitov
2016-04-08bpf, verifier: further improve search pruningDaniel Borkmann
2016-04-07bpf: sanitize bpf tracepoint accessAlexei Starovoitov
2016-02-23Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller