summaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c
Commit message (Expand)AuthorAgeFilesLines
* 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/+4Star
* bpf: fix precision trackingAlexei Starovoitov2019-07-031-14/+107
* devmap: Allow map lookups from eBPFToke Høiland-Jørgensen2019-06-291-5/+2Star
* 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/+6Star
|\ \ | |/ |/|
| * 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/+1Star
| |/
* | 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/+13Star
* | bpf: cleanup explored_statesAlexei Starovoitov2019-05-241-9/+20
* | bpf: bump jmp sequence limitAlexei Starovoitov2019-05-231-3/+4
|/
* bpf: fix undefined behavior in narrow load handlingKrzesimir Nowak2019-05-131-1/+1
* Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller2019-05-031-30/+46
|\
| * bpf: mark registers in all frames after pkt/null checksPaul Chaignon2019-04-261-30/+46
* | bpf: Introduce bpf sk local storageMartin KaFai Lau2019-04-271-3/+24
* | bpf: add writable context for raw tracepointsMatt Mullins2019-04-271-0/+31
* | bpf: drop bpf_verifier_lockAlexei Starovoitov2019-04-231-3/+5
* | bpf: remove global variablesAlexei Starovoitov2019-04-231-12/+13
* | bpf: use BPF_CAST_CALL for casting bpf callPrashant Bhole2019-04-171-3/+2Star
* | bpf: refactor "check_reg_arg" to eliminate code redundancyJiong Wang2019-04-131-6/+8
* | bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"Jiong Wang2019-04-131-10/+20
* | bpf: refactor propagate_liveness to eliminate code redundanceJiong Wang2019-04-131-14/+20
* | bpf: refactor propagate_liveness to eliminate duplicated for loopJiong Wang2019-04-131-3/+1Star
* | bpf: Introduce ARG_PTR_TO_{INT,LONG} arg typesAndrey Ignatov2019-04-121-0/+29
* | bpf: Sysctl hookAndrey Ignatov2019-04-121-0/+1
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller2019-04-121-80/+317
|\ \
| * | bpf: add program side {rd, wr}only support for mapsDaniel Borkmann2019-04-101-2/+44
| * | bpf: implement lookup-free direct value access for mapsDaniel Borkmann2019-04-101-20/+66
| * | bpf: Add missed newline in verifier verbose logAndrey Ignatov2019-04-051-1/+1
| * | bpf: Sanity check max value for var_off stack accessAndrey Ignatov2019-04-051-3/+15
| * | bpf: Reject indirect var_off stack access in unpriv modeAndrey Ignatov2019-04-051-0/+16
| * | bpf: Reject indirect var_off stack access in raw modeAndrey Ignatov2019-04-051-0/+9
| * | bpf: increase verifier log limitAlexei Starovoitov2019-04-041-1/+1
| * | bpf: increase complexity limit and maximum program sizeAlexei Starovoitov2019-04-041-1/+0Star
| * | bpf: verbose jump offset overflow checkAlexei Starovoitov2019-04-041-1/+6