Analyzing Debian with KLEE

Posted on February 28, 2016 by Marko Dimjašević
Clover logo
Clover logo

Just started with the Clover project! The project is about analyzing Debian with KLEE, a symbolic execution engine for C/C++. The plan is to analyze the whole Debian archive.