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

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