我用Claude和Codex構建了一個AI漏洞掃描器。它失敗了

本文介紹了Janitor——一個基於Rust的確定性安全工具，用於在代碼合併前檢測漏洞。它採用形式化方法、零拷貝執行和雙PQC認證，能在8GB筆記本上6.7秒內掃描350萬行代碼的PR。與基於雲的AI安全方案不同，Janitor在本地運行，不泄露代碼，提供數學可證明的安全保障。