CRETE under development
CRETE
is a versatile binary-level concolic testing framework developed by
the System Validation Lab at Portland State University. It can be applied to
various kinds of software systems for test case generation and bug detection,
including proprietary user-level programs, closed-source libraries, kernel
modules, etc.
If you need help with CRETE, or want to discuss the project, you can open new GitHub issues, or contact the maintainer.
We also have a very brief user manual, which contains building instruction, running example, etc.