Fuzzing the Rust Typechecker Using CLP

@inproceedings{Dewey2015FuzzingTR,
  title={Fuzzing the Rust Typechecker Using CLP},
  author={Kyle Dewey and Jared Roesch and Ben Hardekopf},
  year={2015}
}
Language fuzzing is a bug-finding technique for testing compilers and interpreters; its effectiveness depends upon the ability to automatically generate valid programs in the language under test. Despite the proven success of language fuzzing, there is a severe lack of tool support for fuzzing statically-typed languages with advanced type systems because existing fuzzing techniques cannot effectively and automatically generate well-typed programs that use sophisticated types. In this work we… CONTINUE READING