18:31
2026-06-20
gist.github.com
large-language-models
The unreasonable effectiveness of LLMs for auditing Rust code
A lead of the Rust Secure Code Working Group used GPT-5.5 via the Codex for Open Source program to audit Rust crates, finding dozens of memory safety issues. The developer combined the LLM with the mi…