fuzzing + concolic = fuzzolic :)

News

• We are currently finalizing a journal manuscript that covers the internals of fuzzolic.

• The preprint of paper accepted at ICSE is available on ArXiv.

• The code of Fuzzolic and Fuzzy-SAT will be released immediately after the talk at ICSE 2021.

Publications

• Luca Borzacchiello, Emilio Coppa, and Camil Demetrescu. Fuzzing Symbolic Expressions. Proceedings of the 43rd International Conference on Software Engineering (ICSE 2021), 2021. [PDF]

@inproceedings{FUZZOLIC-FUZZY,
 author={Borzacchiello, Luca and Coppa, Emilio and Demetrescu, Camil},
 title={{Fuzzing Symbolic Expressions}},
 booktitle={Proceedings of the 43rd International Conference on Software Engineering},
 series={ICSE '21},
 year={2021},
}

Getting Started

• Installation
  • Docker container
  • Manual build
  • Running tests
• Usage
  • Fuzzy-SAT
  • Concolic execution (standalone mode)
  • Hybrid fuzzing (AFL mode)

Development

• Internals
  • Fuzzolic
  • Fuzzolic in AFL mode
  • Fuzzy-SAT
• Debugging
  • Fuzzolic

Other

• ICSE Experiments