Running KLEE on GNU coreutils

13 February 2024 – Written by Valentin Huber – in KLEE, coreutils, cybersecurity, fuzzing, and symbex

While I read a lot about symbolic execution in fuzzing for a seminar, I wanted to actually do it. Since KLEE appeared to be one of the most influential fuzzing tool, I decided to attempt to reproduce the findings in their original paper. Additionally, I chose to compare different versions of GNU’s coreutils to investigate the quality of software over time.

The report is available here, the orchestration code and resulting data can be found in the project repository.