Code

History

Commits on master to kernel/bpf/verifier.c35+
  1. Merge tag 'bpf-fixes' of git://git.kernel.org/pub/scm/linux/kernel/git/bpf/bpfLinus Torvalds committed 2 months ago2beb1b3
  2. bpf: Reject non-scalar bpf_loop iteration countsKumar Kartikeya Dwivedi committed 2 months agoc3fd8e5
  3. treewide: refresh kmalloc_obj() conversionsKees Cook committed 2 months ago3a2c4d5
  4. bpf: use mark_arg_precision() in check_mem_size_reg()Eduard Zingerman committed 2 months agocf24756
  5. bpf: propagate mark_chain_precision() errors out of loop_flag_is_zero()Eduard Zingerman committed 2 months ago1d7f8f1
  6. bpf: mark a NULL BTF_ID argument of a global subprogram preciseEduard Zingerman committed 2 months agoe726fc6
  7. bpf: mark a NULL kfunc argument preciseEduard Zingerman committed 2 months ago506ada8
  8. bpf: mark a NULL memory argument of a call preciseEduard Zingerman committed 2 months agof1e4181
  9. bpf: mark a NULL call argument preciseEduard Zingerman committed 2 months ago1a3a10b
  10. bpf: Preserve inner map identity in callback framesKumar Kartikeya Dwivedi committed 2 months agob90c5d7
  11. bpf: Mark NULL kptr stores preciseKumar Kartikeya Dwivedi committed 2 months agoecdc504
  12. bpf: Clear NON_OWN_REF after RCU protection endsKumar Kartikeya Dwivedi committed 2 months agocd6f72d
  13. bpf: Keep refcount_acquire nullable for borrowed RCU kptrsNing Ding committed 2 months agodc36739
  14. bpf: Require MEM_PERCPU for percpu kptr storesKumar Kartikeya Dwivedi committed 2 months ago048029b
  15. bpf: Mark the zero register precise for a register-form NULL checkEduard Zingerman committed 2 months ago6aed013
  16. bpf: Don't predict JMP32 pointer vs zero comparisonsEduard Zingerman committed 2 months agoe51179a
  17. bpf: Don't resurrect a scalar id dropped by collect_linked_regs()Eduard Zingerman committed 2 months ago73a98f9
  18. bpf: Don't infer non-NULL from a pointer with an unbounded offsetEduard Zingerman committed 2 months ago67b529f
  19. bpf: Reject legacy packet loads from callbacksKumar Kartikeya Dwivedi committed 2 months agoe7d2882
  20. bpf: Check ancestor frames for rbtree callbacksKumar Kartikeya Dwivedi committed 2 months ago369f4ce
  21. bpf: don't rewrite bpf_fastcall patterns entered by a jumpEduard Zingerman committed 2 months ago0b1c83d
  22. bpf: Reject resilient lock operations in rbtree callbacksKumar Kartikeya Dwivedi committed 2 months ago7b7b8b5
  23. bpf: Reject tail calls directly from callback framesKumar Kartikeya Dwivedi committed 2 months ago266aa4a
  24. bpf: reject BPF_PSEUDO_FUNC reference to the main programEduard Zingerman committed 2 months ago374b2c5
  25. bpf: check_cond_jmp_op(): properly infer if register is nullEduard Zingerman committed 2 months agod3ef6c0
  26. bpf: Fix REG INVARIANTS VIOLATION on speculative pointer arithmeticJiayuan Chen committed 2 months ago150aeba
  27. bpf: Distinguish function references in policy diagnosticsKumar Kartikeya Dwivedi committed 3 months agofc009f4
  28. bpf: Correct kfunc argument diagnosticsKumar Kartikeya Dwivedi committed 3 months agocc782c7
  29. bpf: Preserve R0 lineage across helper callsKumar Kartikeya Dwivedi committed 3 months agob26c0b2
  30. bpf: Rewrite any fault prone load out of a mem or btf_id pointerDaniel Borkmann committed 3 months agod99bda7
  31. bpf: Reject a store through a fault prone pointerDaniel Borkmann committed 3 months agoee9ad13
  32. bpf: Treat a fault prone PTR_TO_MEM as a pointer type mismatchDaniel Borkmann committed 3 months agof438ba7
  33. bpf: Keep fault protection when merging pointer typesDaniel Borkmann committed 3 months ago09c4475
  34. bpf: Check pointer type for all atomic RMW pathsYiyang Chen committed 3 months ago4bc49ae
  35. bpf: Add ksock kfuncsMahe Tardy committed 3 months ago7ae4eb1