summaryrefslogtreecommitdiff
path: root/kernel/bpf/verifier.c
AgeCommit message (Expand)Author
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
2019-03-26bpf: remove incorrect 'verifier bug' warningPaul Chaignon
2019-03-21bpf: verifier: propagate liveness on all framesJakub Kicinski
2019-03-21bpf: add skc_lookup_tcp helperLorenz Bauer
2019-03-21bpf: allow helpers to return PTR_TO_SOCK_COMMONLorenz Bauer
2019-03-21bpf: track references based on is_acquire_funcLorenz Bauer
2019-03-21bpf: do not restore dst_reg when cur_state is freedXu Yu
2019-03-20bpf: Only print ref_obj_id for refcounted regMartin KaFai Lau
2019-03-13bpf: Fix bpf_tcp_sock and bpf_sk_fullsock issue related to bpf_sk_releaseMartin KaFai Lau
2019-03-07bpf: fix replace_map_fd_with_map_ptr's ldimm64 second imm fieldDaniel Borkmann
2019-03-04Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-nextDavid S. Miller