Issues

• Migrate Lockbud to rustc_public and Refocus on Agent-Friendly Concurrency Analysis

  enhancement
  BurtonQin/lockbud#132 · Filter by author BurtonQin opened on May 16, 2026
  

• A false negative about use after free

  bug
  BurtonQin/lockbud#109 · Filter by author stoneman258 opened on Mar 17, 2025
  

• Migrate to stable_mir for API stability

  enhancement
  BurtonQin/lockbud#112 · Filter by author BurtonQin opened on Dec 25, 2024
  1

  

• FP UseAfterFree Warning

  bug
  BurtonQin/lockbud#114 · Filter by author stoneman258 opened on Sep 24, 2024
  1

  

• Next goals of lockbud

  enhancement
  BurtonQin/lockbud#115 · Filter by author BurtonQin opened on Jul 3, 2024
  5

  

• Detect Rayon deadlocks

  enhancement
  BurtonQin/lockbud#117 · Filter by author michaelsproul opened on Nov 26, 2023
  1

  

• Support for Tokio::sync primitives

  enhancement
  BurtonQin/lockbud#118 · Filter by author agourlay opened on Jun 29, 2023
  3