Language fuzzing using constraint logic programming

Abstract

Fuzz testing builds confidence in compilers and interpreters. It is desirable for fuzzers to allow targeted generation of programs that showcase specific language features and behaviors. However, the predominant program generation technique used by most language fuzzers, stochastic context-free grammars, does not have this property. We propose the use of constraint logic programming (CLP) for program generation. Using CLP, testers can write declarative predicates specifying interesting programs, including syntactic features and semantic behaviors. CLP subsumes and generalizes the stochastic grammar approach.

BibTeX

@inproceedings{Dewey-al:ASE14,
  author    = {Kyle Dewey and
               Jared Roesch and
               Ben Hardekopf},
  title     = {Language fuzzing using constraint logic programming},
  booktitle = {ASE},
  pages     = {725--730},
  publisher = {{ACM}},
  year      = {2014},
}

Language fuzzing using constraint logic programming

Abstract

Related papers