Cloud 9
Scalable symbolic execution
Parallel symbolic execution engine that scales on shared-nothing clusters of commodity hardware.
inactive
—
entered showcase: 2019-03-18
—
entry updated: 2022-07-05
This project has not yet been evaluated by the C4DT Factory team.
We will be happy to evaluate it upon request.
Application
C, C++
BSD-3-Clause