Hunting memory bugs in a borrow-checker-without-types compiler
Claude audits an experimental Zig borrow-checker, tracing a double-free through nested destructuring and five other subtle provenance bugs with exact triggers.
Related
Chasing a phantom padding bug through a C++ tokenizer
A long hunt for pad tokens appearing at the start of every chunk, ending in a switch to left-padding so the last token lands where embeddings want it.
Hunting a heap-spraying concurrency bug in Linux sound code
Claude hunts for a concurrency bug in a Linux kernel sound driver that could enable heap spraying, and proposes a locking fix around the vulnerable allocation.
Synthesizing Sorting Networks With Disjunctive ASP
Claude writes a sorting-network synthesizer using disjunctive answer-set programming, catches its own logic bug, and verifies results by brute force.
Reverse-engineering Game Boy Advance assembly to C
The user pastes raw ARMv7 Thumb assembly from a Game Boy Advance binary, and Claude reverse-engineers it into readable C code and a plausible struct layout.