| Commit message (Expand) | Author | Age | Files | Lines |
* | bpf: Recognize addr_space_cast instruction in the verifier. | Alexei Starovoitov | 2024-03-11 | 1 | -0/+1 |
* | bpf: Introduce may_goto instruction | Alexei Starovoitov | 2024-03-06 | 1 | -0/+2 |
* | bpf: Preserve boundaries and track scalars on narrowing fill | Maxim Mikityanskiy | 2024-02-02 | 1 | -0/+9 |
* | bpf: add __arg_trusted global func arg tag | Andrii Nakryiko | 2024-01-30 | 1 | -0/+1 |
* | bpf: hold module refcnt in bpf_struct_ops map creation and prog verification. | Kui-Feng Lee | 2024-01-23 | 1 | -0/+1 |
* | bpf: Make bpf_for_each_spilled_reg consider narrow spills | Maxim Mikityanskiy | 2024-01-23 | 1 | -1/+1 |
* | bpf: move subprog call logic back to verifier.c | Andrii Nakryiko | 2023-12-19 | 1 | -8/+0 |
* | bpf: prepare btf_prepare_func_args() for handling static subprogs | Andrii Nakryiko | 2023-12-19 | 1 | -0/+5 |
* | bpf: abstract away global subprog arg preparation logic from reg state setup | Andrii Nakryiko | 2023-12-19 | 1 | -0/+16 |
* | bpf: use bitfields for simple per-subprog bool flags | Andrii Nakryiko | 2023-12-11 | 1 | -6/+6 |
* | bpf: Add some comments to stack representation | Andrei Matei | 2023-12-08 | 1 | -0/+14 |
* | bpf: support non-r10 register spill/fill to/from stack in precision tracking | Andrii Nakryiko | 2023-12-05 | 1 | -4/+27 |
* | bpf: enforce exact retval range on subprog/callback exit | Andrii Nakryiko | 2023-12-02 | 1 | -1/+6 |
* | bpf: rearrange bpf_func_state fields to save a bit of memory | Andrii Nakryiko | 2023-12-02 | 1 | -2/+2 |
* | Merge git://git.kernel.org/pub/scm/linux/kernel/git/netdev/net | Jakub Kicinski | 2023-11-23 | 1 | -0/+16 |
|\ |
|
| * | bpf: keep track of max number of bpf_loop callback iterations | Eduard Zingerman | 2023-11-20 | 1 | -0/+11 |
| * | bpf: verify callbacks as if they are called unknown number of times | Eduard Zingerman | 2023-11-20 | 1 | -0/+5 |
* | | bpf: move verifier state printing code to kernel/bpf/log.c | Andrii Nakryiko | 2023-11-18 | 1 | -0/+72 |
* | | bpf: move verbose_linfo() into kernel/bpf/log.c | Andrii Nakryiko | 2023-11-18 | 1 | -0/+4 |
* | | bpf: rename BPF_F_TEST_SANITY_STRICT to BPF_F_TEST_REG_INVARIANTS | Andrii Nakryiko | 2023-11-17 | 1 | -1/+1 |
* | | bpf: add register bounds sanity checks and sanitization | Andrii Nakryiko | 2023-11-15 | 1 | -0/+1 |
|/ |
|
* | bpf: correct loop detection for iterators convergence | Eduard Zingerman | 2023-10-23 | 1 | -0/+15 |
* | bpf: exact states comparison for iterator convergence checks | Eduard Zingerman | 2023-10-23 | 1 | -0/+1 |
* | bpf: teach the verifier to enforce css_iter and task_iter in RCU CS | Chuyi Zhou | 2023-10-19 | 1 | -8/+11 |
* | bpf: Add support for custom exception callbacks | Kumar Kartikeya Dwivedi | 2023-09-16 | 1 | -0/+1 |
* | bpf: Implement BPF exceptions | Kumar Kartikeya Dwivedi | 2023-09-16 | 1 | -0/+4 |
* | bpf: Implement support for adding hidden subprogs | Kumar Kartikeya Dwivedi | 2023-09-16 | 1 | -1/+2 |
* | bpf: Add bpf_this_cpu_ptr/bpf_per_cpu_ptr support for allocated percpu obj | Yonghong Song | 2023-09-08 | 1 | -0/+1 |
* | bpf: Consider non-owning refs trusted | Dave Marchevsky | 2023-08-25 | 1 | -1/+1 |
* | bpf: Verify scalar ids mapping in regsafe() using check_ids() | Eduard Zingerman | 2023-06-13 | 1 | -6/+11 |
* | bpf: Use scalar ids in mark_chain_precision() | Eduard Zingerman | 2023-06-13 | 1 | -1/+9 |
* | bpf: improve precision backtrack logging | Andrii Nakryiko | 2023-05-04 | 1 | -4/+9 |
* | bpf: encapsulate precision backtracking bookkeeping | Andrii Nakryiko | 2023-05-04 | 1 | -0/+14 |
* | bpf: Migrate bpf_rbtree_add and bpf_list_push_{front,back} to possibly fail | Dave Marchevsky | 2023-04-15 | 1 | -1/+6 |
* | bpf: Simplify internal verifier log interface | Andrii Nakryiko | 2023-04-11 | 1 | -10/+3 |
* | bpf: Keep track of total log content size in both fixed and rolling modes | Andrii Nakryiko | 2023-04-11 | 1 | -9/+3 |
* | bpf: Switch BPF verifier log to be a rotating log by default | Andrii Nakryiko | 2023-04-11 | 1 | -7/+26 |
* | bpf: Split off basic BPF verifier log into separate file | Andrii Nakryiko | 2023-04-11 | 1 | -12/+7 |
* | bpf: ensure state checkpointing at iter_next() call sites | Andrii Nakryiko | 2023-03-10 | 1 | -1/+5 |
* | bpf: add support for open-coded iterator loops | Andrii Nakryiko | 2023-03-08 | 1 | -0/+23 |
* | bpf: add iterator kfuncs registration and validation logic | Andrii Nakryiko | 2023-03-08 | 1 | -0/+2 |
* | bpf: Refactor RCU enforcement in the verifier. | Alexei Starovoitov | 2023-03-03 | 1 | -1/+0 |
* | bpf: Refactor process_dynptr_func | Joanne Koong | 2023-03-01 | 1 | -3/+0 |
* | bpf: Migrate release_on_unlock logic to non-owning ref semantics | Dave Marchevsky | 2023-02-13 | 1 | -20/+18 |
* | bpf: Invalidate slices on destruction of dynptrs on stack | Kumar Kartikeya Dwivedi | 2023-01-20 | 1 | -1/+4 |
* | bpf: reorganize struct bpf_reg_state fields | Andrii Nakryiko | 2022-12-27 | 1 | -20/+20 |
* | bpf: states_equal() must build idmap for all function frames | Eduard Zingerman | 2022-12-10 | 1 | -2/+2 |
* | bpf: Refactor ARG_PTR_TO_DYNPTR checks into process_dynptr_func | Kumar Kartikeya Dwivedi | 2022-12-08 | 1 | -5/+3 |
* | bpf: decouple prune and jump points | Andrii Nakryiko | 2022-12-06 | 1 | -0/+1 |
* | bpf: Handle MEM_RCU type properly | Yonghong Song | 2022-12-04 | 1 | -1/+1 |