Semantic fuzzing of the Rust compiler and interpreter (ethz.ch)

submitted 2 years ago by snaggen@programming.dev to c/rust@programming.dev

1 comments fedilink hide all child comments

Abstract This project introduces Rustlantis, a novel fuzzer capable of generating programs in Rust’s Mid-level Intermediate Representation that are deterministic and free from Undefined Behaviour. It has uncovered 13 previously-unknown bugs in the Rust compiler and LLVM which has caused miscompilations as well as crashes.

top 1 comments

sorted by: hot top new old

[-] kogasa@programming.dev 0 points 2 years ago

These guys are so good at finding bugs that this article page gave me a "status code {null}". Even when their stuff breaks there's no error!