Dynamic Symbolic execution guided with static verification results
This repository is not the original repository for this tool. Here are some links to the original project:
- The project source code
- Website of the project
- There is no link to the original video of the tool.
In this repository, for Evolve you will find:
- ❌ Source code (not available)
- ❌ Executable tool (not available)
- ❌ Virtual machine containing tool (not available)
This repository was constructed by Vrushti Shah under the supervision of Emerson Murphy-Hill.
I would also like to thank Dr. Xi Ge and his colleagues for all their help setting up the tool.