lintsinghua / DeepAudit

DeepAudit：人人拥有的 AI 黑客战队，让漏洞挖掘触手可及。小白一键部署运行，自主协作审计 + 自动化沙箱 PoC 验证。支持 Ollama 私有部署 ，一键生成报告。支持中转站。​让安全不再昂贵，让审计不再复杂。

SVF-tools / SVF

Static Value-Flow Analysis Framework for Source Code

BurtonQin / lockbud

Detect concurrency and memory bugs and possible panic locations in Rust projects