1. 5

Fuzzing languages found plenty of problems in their tooling (esp compilers). Advanced type systems such as Rust’s were a problem for simple fuzzers. This work leverages CLP to fuzz an advanced type-system. This attempt focuses on Rust but the concept may be useful for other languages.

  1.