The unreasonable effectiveness of LLMs for auditing Rust code (opens in new tab)
As a lead of the Rust Secure Code Working Group, I got access to GPT-5.5 via the Codex for Open Source. Since then I’ve found and reported…
Read the original articleAs a lead of the Rust Secure Code Working Group, I got access to GPT-5.5 via the Codex for Open Source. Since then I’ve found and reported…
Read the original article