summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
2019-11-18bpf: Switch bpf_map ref counter to atomic64_t so bpf_map_inc() never failsAndrii Nakryiko
2019-11-15bpf: Support attaching tracing BPF program to other BPF programsAlexei Starovoitov
2019-11-15bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov
2019-11-15bpf: Annotate context typesAlexei Starovoitov
2019-11-15bpf: Fix race in btf_resolve_helper_id()Alexei Starovoitov
2019-11-15bpf: Introduce BPF trampolineAlexei Starovoitov
2019-10-31bpf: Replace prog_raw_tp+btf_id with prog_tracingAlexei Starovoitov
2019-10-30bpf: Enforce 'return 0' in BTF-enabled raw_tp programsAlexei Starovoitov
2019-10-24bpf: Prepare btf_ctx_access for non raw_tp use caseMartin KaFai Lau
2019-10-17bpf: Check types of arguments passed into helpersAlexei Starovoitov
2019-10-17bpf: Add support for BTF pointers to x86 JITAlexei Starovoitov
2019-10-17bpf: Add support for BTF pointers to interpreterAlexei Starovoitov
2019-10-17bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov
2019-10-17bpf: Process in-kernel BTFAlexei Starovoitov
2019-10-11bpf: Fix cast to pointer from integer of different size warningAndrii Nakryiko
2019-10-11bpf: Track contents of read-only maps as scalarsAndrii Nakryiko
2019-09-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-09-16bpf: fix accessing bpf_sysctl.file_pos on s390Ilya Leoshkevich
2019-09-15Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2019-09-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-09-05bpf: fix precision tracking of stack slotsAlexei Starovoitov
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov
2019-08-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller
2019-08-24bpf: fix precision tracking in presence of bpf2bpf callsAlexei Starovoitov
2019-08-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski
2019-07-29xdp: Add devmap_hash map type for looking up devices by hashed indexToke Høiland-Jørgensen
2019-07-23bpf: fix narrower loads on s390Ilya Leoshkevich
2019-07-12bpf: verifier: avoid fall-through warningsGustavo A. R. Silva
2019-07-12bpf: fix precision bit propagation for BPF_ST instructionsAndrii Nakryiko
2019-07-03bpf: fix precision trackingAlexei Starovoitov
2019-06-29devmap: Allow map lookups from eBPFToke Høiland-Jørgensen
2019-06-27bpf: implement getsockopt and setsockopt hooksStanislav Fomichev
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov
2019-06-19bpf: fix callees pruning callersAlexei Starovoitov
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov
2019-06-19bpf: extend is_branch_taken to registersAlexei Starovoitov
2019-06-19bpf: track spill/fill of constantsAlexei Starovoitov
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds
2019-06-10bpf: Allow bpf_map_lookup_elem() on an xskmapJonathan Lemon
2019-06-06bpf: fix unconnected udp hooksDaniel Borkmann
2019-06-05treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295Thomas Gleixner
2019-05-31bpf: cgroup inet skb programs can return 0 to 3brakmo
2019-05-24bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is setJiong Wang
2019-05-24bpf: verifier: insert zero extension according to analysis resultJiong Wang
2019-05-24bpf: verifier: mark patched-insn with sub-register zext flagJiong Wang
2019-05-24bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang
2019-05-24bpf: convert explored_states to hash tableAlexei Starovoitov
2019-05-24bpf: split explored_statesAlexei Starovoitov