Runtime Verification finds Linux driver bugs via Rust porting LLM

Runtime Verification used a large language model to port C code from Linux kernel device drivers to Rust, subsequently performing differential fuzzing to identify divergences as candidate bugs. The process successfully discovered one bug in the driver and another while verifying the Rust implementation. CEO Everett Hildenbrandt explained that a single Claude Code instance was used for the task. Open article →