• DOI:10.1145/2970276.2970316
Corpus ID: 5809364

Model-based whitebox fuzzing for program binaries

@article{Pham2016ModelbasedWF,
  title={Model-based whitebox fuzzing for program binaries},
  author={Van-Thuan Pham and Marcel B{\"o}hme and Abhik Roychoudhury},
  journal={2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)},
  year={2016},
  pages={543-553}
}

• Van-Thuan Pham, Marcel Böhme, Abhik Roychoudhury
• Published 2016
• Computer Science
• 2016 31st IEEE/ACM International Conference on Automated Software Engineering (ASE)

Many real-world programs take highly structured and complex files as inputs. The automated testing of such programs is non-trivial. If the test does not adhere to a specific file format, the program returns a parser error. For symbolic execution-based whitebox fuzzing the corresponding error handling code becomes a significant time sink. Too much time is spent in the parser exploring too many paths leading to trivial parser errors. Naturally, the time is better spent exploring the functional… Expand

View on ACM

comp.nus.edu.sg

Save to Library

Create Alert

Cite

Launch Research Feed