aboutsummaryrefslogtreecommitdiffstats
path: root/kernel/bpf/verifier.c (follow)
AgeCommit message (Expand)AuthorFilesLines
2019-10-11bpf: Fix cast to pointer from integer of different size warningAndrii Nakryiko1-1/+1
2019-10-11bpf: Track contents of read-only maps as scalarsAndrii Nakryiko1-2/+55
2019-09-16Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-2/+2
2019-09-16bpf: fix accessing bpf_sysctl.file_pos on s390Ilya Leoshkevich1-2/+2
2019-09-15Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-9/+14
2019-09-06Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-1/+4
2019-09-05bpf: fix precision tracking of stack slotsAlexei Starovoitov1-9/+14
2019-08-28bpf: introduce verifier internal test flagAlexei Starovoitov1-1/+4
2019-08-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/netDavid S. Miller1-4/+5
2019-08-24bpf: fix precision tracking in presence of bpf2bpf callsAlexei Starovoitov1-4/+5
2019-08-13Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextJakub Kicinski1-0/+2
2019-07-29xdp: Add devmap_hash map type for looking up devices by hashed indexToke Høiland-Jørgensen1-0/+2
2019-07-23bpf: fix narrower loads on s390Ilya Leoshkevich1-2/+2
2019-07-12bpf: verifier: avoid fall-through warningsGustavo A. R. Silva1-0/+2
2019-07-12bpf: fix precision bit propagation for BPF_ST instructionsAndrii Nakryiko1-7/+4
2019-07-03bpf: fix precision trackingAlexei Starovoitov1-14/+107
2019-06-29devmap: Allow map lookups from eBPFToke Høiland-Jørgensen1-5/+2
2019-06-27bpf: implement getsockopt and setsockopt hooksStanislav Fomichev1-0/+8
2019-06-20Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller1-69/+724
2019-06-19bpf: precise scalar_value trackingAlexei Starovoitov1-11/+480
2019-06-19bpf: fix callees pruning callersAlexei Starovoitov1-5/+6
2019-06-19bpf: introduce bounded loopsAlexei Starovoitov1-12/+131
2019-06-19bpf: extend is_branch_taken to registersAlexei Starovoitov1-15/+19
2019-06-19bpf: track spill/fill of constantsAlexei Starovoitov1-25/+65
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-11/+6
2019-06-17Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netLinus Torvalds1-4/+8
2019-06-10bpf: Allow bpf_map_lookup_elem() on an xskmapJonathan Lemon1-2/+24
2019-06-06bpf: fix unconnected udp hooksDaniel Borkmann1-4/+8
2019-06-05treewide: Replace GPLv2 boilerplate/reference with SPDX - rule 295Thomas Gleixner1-9/+1
2019-05-31bpf: cgroup inet skb programs can return 0 to 3brakmo1-3/+13
2019-05-24bpf: verifier: randomize high 32-bit when BPF_F_TEST_RND_HI32 is setJiong Wang1-11/+57
2019-05-24bpf: verifier: insert zero extension according to analysis resultJiong Wang1-0/+41
2019-05-24bpf: verifier: mark patched-insn with sub-register zext flagJiong Wang1-4/+33
2019-05-24bpf: verifier: mark verified-insn with sub-register zext flagJiong Wang1-13/+160
2019-05-24bpf: convert explored_states to hash tableAlexei Starovoitov1-5/+18
2019-05-24bpf: split explored_statesAlexei Starovoitov1-18/+13
2019-05-24bpf: cleanup explored_statesAlexei Starovoitov1-9/+20
2019-05-23bpf: bump jmp sequence limitAlexei Starovoitov1-3/+4
2019-05-13bpf: fix undefined behavior in narrow load handlingKrzesimir Nowak1-1/+1
2019-05-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller1-30/+46
2019-04-27bpf: Introduce bpf sk local storageMartin KaFai Lau1-3/+24
2019-04-26bpf: add writable context for raw tracepointsMatt Mullins1-0/+31
2019-04-25bpf: mark registers in all frames after pkt/null checksPaul Chaignon1-30/+46
2019-04-23bpf: drop bpf_verifier_lockAlexei Starovoitov1-3/+5
2019-04-23bpf: remove global variablesAlexei Starovoitov1-12/+13
2019-04-16bpf: use BPF_CAST_CALL for casting bpf callPrashant Bhole1-3/+2
2019-04-12bpf: refactor "check_reg_arg" to eliminate code redundancyJiong Wang1-6/+8
2019-04-12bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"Jiong Wang1-10/+20
2019-04-12bpf: refactor propagate_liveness to eliminate code redundanceJiong Wang1-14/+20
2019-04-12bpf: refactor propagate_liveness to eliminate duplicated for loopJiong Wang1-3/+1