Semantic fuzzing of the Rust compiler and interpreter (ethz.ch)
from snaggen@programming.dev to rust@programming.dev on 28 Nov 2023 18:52
https://programming.dev/post/6523076

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.

#rust

threaded - newest

kogasa@programming.dev on 29 Nov 2023 03:09 collapse

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!