| b3b50f05dc50 ("bpf: fix precision bit propagation for BPF_ST instructions") |
| b5dc0163d8fd ("bpf: precise scalar_value tracking") |
| 2589726d12a1 ("bpf: introduce bounded loops") |
| fb8d251ee2a6 ("bpf: extend is_branch_taken to registers") |
| f7cf25b2026d ("bpf: track spill/fill of constants") |
| 5327ed3d44b7 ("bpf: verifier: mark verified-insn with sub-register zext flag") |
| dc2a4ebc0b44 ("bpf: convert explored_states to hash table") |
| a8f500af0ccf ("bpf: split explored_states") |
| 5d839021675a ("bpf: cleanup explored_states") |
| c342dc109aa5 ("bpf: refactor "check_reg_arg" to eliminate code redundancy") |
| 55e7f3b5ac94 ("bpf: factor out reg and stack slot propagation into "propagate_liveness_reg"") |
| 3f8cafa4131f ("bpf: refactor propagate_liveness to eliminate code redundance") |
| 1b04aee7e218 ("bpf: refactor propagate_liveness to eliminate duplicated for loop") |
| 57c3bb725a3d ("bpf: Introduce ARG_PTR_TO_{INT,LONG} arg types") |
| 71dde681a8ce ("bpf: convert temp arrays to kvcalloc") |
| 25af32dad804 ("bpf: improve verification speed by not remarking live_read") |
| 9f4686c41bdf ("bpf: improve verification speed by droping states") |
| 06ee7115b0d1 ("bpf: add verifier stats and log_level bit 2") |
| 2011fccfb61b ("bpf: Support variable offset stack access from helpers") |
| 83d163124cf1 ("bpf: verifier: propagate liveness on all frames") |
| 46f8bc92758c ("bpf: Add a bpf_sock pointer to __sk_buff and a bpf_sk_fullsock helper") |
| 5f4566498dee ("bpf: Fix narrow load on a bpf_sock returned from sk_lookup()") |
| d83525ca62cf ("bpf: introduce bpf_spin_lock") |
| ec7146db1500 ("Merge git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpf-next") |