GitHub repository: kupl-sstf/dd-klee
Primary language: C++
Created: 2022-06-21T01:45:16Z
Description: Data-driven symbolic execution engine, implemented on top of KLEE