summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2019-05-24bpf: cleanup explored_statesAlexei Starovoitov
2019-05-23bpf: bump jmp sequence limitAlexei Starovoitov
2019-05-13bpf: fix undefined behavior in narrow load handlingKrzesimir Nowak
2019-05-02Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2019-04-27bpf: Introduce bpf sk local storageMartin KaFai Lau
2019-04-26bpf: add writable context for raw tracepointsMatt Mullins
2019-04-25bpf: mark registers in all frames after pkt/null checksPaul Chaignon
2019-04-23bpf: drop bpf_verifier_lockAlexei Starovoitov
2019-04-23bpf: remove global variablesAlexei Starovoitov
2019-04-16bpf: use BPF_CAST_CALL for casting bpf callPrashant Bhole
2019-04-12bpf: refactor "check_reg_arg" to eliminate code redundancyJiong Wang
2019-04-12bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"Jiong Wang
2019-04-12bpf: refactor propagate_liveness to eliminate code redundanceJiong Wang
2019-04-12bpf: refactor propagate_liveness to eliminate duplicated for loopJiong Wang
2019-04-12bpf: Introduce ARG_PTR_TO_{INT,LONG} arg typesAndrey Ignatov
2019-04-12bpf: Sysctl hookAndrey Ignatov
2019-04-11Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller
2019-04-09bpf: add program side {rd, wr}only support for mapsDaniel Borkmann
2019-04-09bpf: implement lookup-free direct value access for mapsDaniel Borkmann
2019-04-05Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller
2019-04-05bpf: Add missed newline in verifier verbose logAndrey Ignatov
2019-04-05bpf: Sanity check max value for var_off stack accessAndrey Ignatov
2019-04-05bpf: Reject indirect var_off stack access in unpriv modeAndrey Ignatov
2019-04-05bpf: Reject indirect var_off stack access in raw modeAndrey Ignatov
2019-04-04bpf: increase verifier log limitAlexei Starovoitov
2019-04-04bpf: increase complexity limit and maximum program sizeAlexei Starovoitov
2019-04-04bpf: verbose jump offset overflow checkAlexei Starovoitov
2019-04-04bpf: convert temp arrays to kvcallocAlexei Starovoitov
2019-04-04bpf: improve verification speed by not remarking live_readAlexei Starovoitov
2019-04-04bpf: improve verification speed by droping statesAlexei Starovoitov
2019-04-04bpf: add verifier stats and log_level bit 2Alexei Starovoitov
2019-03-29bpf: Support variable offset stack access from helpersAndrey Ignatov
2019-03-27Merge git://git.kernel.org/pub/scm/linux/kernel/git/davem/netDavid S. Miller