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.
Analyzing Debian with KLEE
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.