summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
Commit message (Expand)AuthorAgeFilesLines
* bpf: Support attaching tracing BPF program to other BPF programsAlexei Starovoitov2019-11-151-15/+68
* bpf: Compare BTF types of functions arguments with actual typesAlexei Starovoitov2019-11-151-3/+15
* bpf: Annotate context typesAlexei Starovoitov2019-11-151-1/+1
* bpf: Fix race in btf_resolve_helper_id()Alexei Starovoitov2019-11-151-5/+3
* bpf: Introduce BPF trampolineAlexei Starovoitov2019-11-151-0/+42
* bpf: Replace prog_raw_tp+btf_id with prog_tracingAlexei Starovoitov2019-10-311-10/+24
* bpf: Enforce 'return 0' in BTF-enabled raw_tp programsAlexei Starovoitov2019-10-301-0/+5
* bpf: Prepare btf_ctx_access for non raw_tp use caseMartin KaFai Lau2019-10-251-1/+51
* bpf: Check types of arguments passed into helpersAlexei Starovoitov2019-10-171-15/+29
* bpf: Add support for BTF pointers to x86 JITAlexei Starovoitov2019-10-171-0/+1
* bpf: Add support for BTF pointers to interpreterAlexei Starovoitov2019-10-171-0/+8
* bpf: Implement accurate raw_tp context access via BTFAlexei Starovoitov2019-10-171-3/+85
* bpf: Process in-kernel BTFAlexei Starovoitov2019-10-171-0/+20
* bpf: Fix cast to pointer from integer of different size warningAndrii Nakryiko2019-10-111-1/+1
* bpf: Track contents of read-only maps as scalarsAndrii Nakryiko2019-10-111-2/+55
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-09-161-2/+2
|\
| * bpf: fix accessing bpf_sysctl.file_pos on s390Ilya Leoshkevich2019-09-161-2/+2
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller2019-09-151-9/+14
|\ \ | |/ |/|
| * bpf: fix precision tracking of stack slotsAlexei Starovoitov2019-09-051-9/+14
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-09-061-1/+4
|\ \
| * | bpf: introduce verifier internal test flagAlexei Starovoitov2019-08-281-1/+4
* | | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller2019-08-271-4/+5
|\ \ \ | |/ / |/| / | |/
| * bpf: fix precision tracking in presence of bpf2bpf callsAlexei Starovoitov2019-08-241-4/+5
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski2019-08-141-0/+2
|\ \ | |/ |/|
| * xdp: Add devmap_hash map type for looking up devices by hashed indexToke Høiland-Jørgensen2019-07-291-0/+2
* | bpf: fix narrower loads on s390Ilya Leoshkevich2019-07-231-2/+2
|/
* bpf: verifier: avoid fall-through warningsGustavo A. R. Silva2019-07-121-0/+2
* bpf: fix precision bit propagation for BPF_ST instructionsAndrii Nakryiko2019-07-121-7/+4
* bpf: fix precision trackingAlexei Starovoitov2019-07-031-14/+107
* devmap: Allow map lookups from eBPFToke Høiland-Jørgensen2019-06-291-5/+2
* bpf: implement getsockopt and setsockopt hooksStanislav Fomichev2019-06-281-0/+8
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-06-201-69/+724
|\
| * bpf: precise scalar_value trackingAlexei Starovoitov2019-06-191-11/+480
| * bpf: fix callees pruning callersAlexei Starovoitov2019-06-191-5/+6
| * bpf: introduce bounded loopsAlexei Starovoitov2019-06-191-12/+131
| * bpf: extend is_branch_taken to registersAlexei Starovoitov2019-06-191-15/+19
| * bpf: track spill/fill of constantsAlexei Starovoitov2019-06-191-25/+65
| * bpf: Allow bpf_map_lookup_elem() on an xskmapJonathan Lemon2019-06-111-2/+24
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2019-06-181-11/+6
|\ \ | |/ |/|
| * Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds2019-06-181-4/+8
| |\
| | * bpf: fix unconnected udp hooksDaniel Borkmann2019-06-071-4/+8
| * | treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295Thomas Gleixner2019-06-051-9/+1
| |/
* | bpf: cgroup inet skb programs can return 0 to 3brakmo2019-06-011-3/+13
* | bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is setJiong Wang2019-05-251-11/+57
* | bpf: verifier: insert zero extension according to analysis resultJiong Wang2019-05-251-0/+41
* | bpf: verifier: mark patched-insn with sub-register zext flagJiong Wang2019-05-251-4/+33
* | bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang2019-05-251-13/+160
* | bpf: convert explored_states to hash tableAlexei Starovoitov2019-05-241-5/+18
* | bpf: split explored_statesAlexei Starovoitov2019-05-241-18/+13
* | bpf: cleanup explored_statesAlexei Starovoitov2019-05-241-9/+20