我用Claude和Codex构建了一个AI漏洞扫描器。它失败了

本文介绍了Janitor——一个基于Rust的确定性安全工具，用于在代码合并前检测漏洞。它采用形式化方法、零拷贝执行和双PQC认证，能在8GB笔记本上6.7秒内扫描350万行代码的PR。与基于云的AI安全方案不同，Janitor在本地运行，不泄露代码，提供数学可证明的安全保障。