3 repos
BurtonQin/lockbud
Detect concurrency and memory bugs and possible panic locations in Rust projects
591
140 commits
safer-rust/RAPx
A static analysis tool for Rust programs. The guardrail for AI-generated Rust code.
212
1,703 commits
crytic/caracal
Static Analyzer for Starknet smart contracts
147
131 commits
