corpus.blog
41554 blogs · 4,417,066 posts Claim your blog
Record · corpus.blog/posts/01a087df-f952-716d-a8b5-e9b4b0885778

The unreasonable effectiveness of LLMs for auditing Rust code

shnatsel.github.io · published 20 June 2026

A record is what was published and who pointed at it. The text of the post is not held here: read it at the source, or at its Wayback capture.

Read the post at shnatsel.github.io Wayback capture
0blogs citing
First cited
—
Most recent
—
Rank this month
not ranked
Links from this post
43
Words captured
1,595

Cited by

No blog we hold has cited this post yet.

Links from this post

Link
Host
https://rust-lang.org/governance/teams/
rust-lang.org
https://openai.com/form/codex-for-oss/
openai.com
https://rustfoundation.org/security-initiative/
rustfoundation.org
https://www.anthropic.com/claude/mythos
anthropic.com
https://www.anthropic.com/glasswing
anthropic.com
There is no memory safety without thread safety Read at the source ↗
ralfj.de
https://www.reddit.com/r/rust/comments/g0wu9b/percentage_of_unsafe_code_per_crate_for/
reddit.com
http://crates.io
crates.io
https://pm.inf.ethz.ch/publications/AstrauskasMathejaMuellerPoliSummers20.pdf
pm.inf.ethz.ch
https://blog.google/security/rust-in-android-move-fast-fix-things/
blog.google
https://github.com/rust-lang/miri
github.com
https://clang.llvm.org/docs/AddressSanitizer.html
clang.llvm.org
https://doc.rust-lang.org/beta/unstable-book/compiler-flags/sanitizer.html
doc.rust-lang.org
https://perso.crans.org/vanille/treebor/
perso.crans.org
https://plv.mpi-sws.org/rustbelt/stacked-borrows/
plv.mpi-sws.org
https://gist.github.com/Shnatsel/e83219d7d6b73255373c2818ee438cda
gist.github.com
https://github.com/arm/metis
github.com
https://github.com/tirr-c/jxl-oxide/security/advisories/GHSA-5pmv-rx8r-wmv5
github.com
https://github.com/tirr-c/jxl-oxide
github.com
https://github.com/libjxl/jxl-rs
github.com
https://gist.github.com/Shnatsel/2c4e4f75e5892988d1315aa7ede4e575
gist.github.com
https://github.com/Amanieu/intrusive-rs/pull/104
github.com
https://github.com/Amanieu/intrusive-rs/pull/105
github.com
https://github.com/Amanieu/intrusive-rs/pull/106
github.com
https://github.com/rkyv/rkyv/issues/670
github.com
https://github.com/anza-xyz/wincode/issues/306
github.com
https://github.com/unicode-org/icu4x/pull/8029
github.com
https://github.com/unicode-org/icu4x/pull/7940
github.com
https://github.com/djc/hashlink/issues/42
github.com
https://github.com/mozilla/thin-vec/issues/86
github.com
https://github.com/jaredforth/webp/pull/51
github.com
https://github.com/imazen/webpx/commit/373015705ec84460ddc8722550805520478a2d57
github.com
https://github.com/zkat/miette/issues/469
github.com
https://github.com/ruffle-rs/nihav-vp6/issues/2
github.com
https://github.com/andylokandy/arraydeque/issues/34
github.com
https://github.com/rust-av/v_frame/pull/74
github.com
https://github.com/servo/rust-smallvec/pull/407
github.com
https://rustsec.org/packages/imageproc.html
rustsec.org
How memory safety CVEs differ between Rust and C/C++ Read at the source ↗
kobzol.github.io
https://github.com/mariofeter/secureloop-findings-public/tree/master/findings/rkyv
github.com
https://shnatsel.medium.com/how-to-avoid-bounds-checks-in-rust-without-unsafe-f65e618b4c1e
shnatsel.medium.com
https://shnatsel.medium.com/safe-simd-in-rust-even-on-the-inside-c6f1ff381828
shnatsel.medium.com
https://shnatsel.medium.com/the-unreasonable-effectiveness-of-llms-for-auditing-rust-code-d4df8bf0afd3
shnatsel.medium.com