Fuzzing the Rust Typechecker Using CLP (T)
| Autor: | Ben Hardekopf, Kyle Dewey, Jared Roesch |
|---|---|
| Rok vydání: | 2015 |
| Předmět: |
Soundness
Java Programming language Computer science Fuzz testing computer.software_genre Program analysis Software bug TheoryofComputation_LOGICSANDMEANINGSOFPROGRAMS Constraint logic programming Compiler computer Logic programming Interpreter Rust (programming language) computer.programming_language |
| Zdroj: | ASE |
| Popis: | 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 describe how to automatically generate well-typed programs that use sophisticated type systems by phrasing the problem of well-typed program generation in terms of Constraint Logic Programming (CLP). In addition, we describe how to specifically target the typechecker implementation for testing, unlike all existing work which ignores the typechecker. We focus on typechecker precision bugs, soundness bugs, and consistency bugs. We apply our techniques to Rust, a complex, industrial-strength language with a sophisticated type system. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|