Next goals of lockbud - Githubissues

BurtonQin / lockbud

Statically detect memory, concurrency bugs and possible panic locations for Rust.

BSD 3-Clause "New" or "Revised" License

420 stars 23 forks source link

Next goals of lockbud #58

Open BurtonQin opened 2 months ago

BurtonQin commented 2 months ago

[ ] Migrate to rustc_smir for API stability between different versions of rust compilers.
[x] Support updated versions of Rust compilers.
[ ] More complete documents on how lockbud works and how to develop it.
[ ] Improve bug reports.
[ ] More test cases.
[ ] Improve accuracy of detectors and reduce false positives.
[ ] Support more bug patterns.
[ ] Accommodate detection algorithms from other Rust static checkers.
[ ] Develop a vscode plugin to help visualize bugs.

chenyan2002 commented 1 month ago

Interesting project! I was wondering have you tried to use the Rust analyzer for static analysis. Their libraries are all on crates-io, e.g., https://docs.rs/ra_ap_hir/latest/ra_ap_hir/, so no nightly rustc is required. The only problem I see is that the start up time can be long, because their state cannot be serialized unless we build the analyzer as a server similar to LSP.

BurtonQin commented 1 month ago

Thanks for your suggestion, I will look into the project.

BurtonQin commented 1 week ago

After updating to nightly-2024-05-21, lockbud fails to pass the use-after-free tests. A fix is on the way.