Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
https://github.com/BurtonQin/lockbud
Statically detect memory, concurrency bugs and possible panic locations for Rust.
https://github.com/BurtonQin/lockbud
bug-detection deadlock-detection mir rust static-analyzer
Last synced: about 2 months ago
JSON representation
Statically detect memory, concurrency bugs and possible panic locations for Rust.
- Host: GitHub
- URL: https://github.com/BurtonQin/lockbud
- Owner: BurtonQin
- License: bsd-3-clause
- Created: 2020-06-04T03:26:58.000Z (over 4 years ago)
- Default Branch: all
- Last Pushed: 2024-07-13T22:14:21.000Z (2 months ago)
- Last Synced: 2024-07-13T23:25:43.125Z (2 months ago)
- Topics: bug-detection, deadlock-detection, mir, rust, static-analyzer
- Language: Rust
- Homepage:
- Size: 472 KB
- Stars: 362
- Watchers: 10
- Forks: 22
- Open Issues: 8
-
Metadata Files:
- Readme: README.md
- License: LICENSE
Awesome Lists containing this project
- awesome-rust-formalized-reasoning - lockbud - study.pdf) - statically detect deadlocks bugs for Rust. (Projects / Verification)
- my-awesome - BurtonQin/lockbud - detection,deadlock-detection,mir,rust,static-analyzer pushed_at:2024-09 star:0.4k fork:0.0k Statically detect memory, concurrency bugs and possible panic locations for Rust. (Rust)