GitHub repository: kupl/dd-klee
Primary language: C++
Description: Data-driven symbolic execution engine, implemented on top of KLEE