Open-source workflow automation

A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
A symbolic execution framework with batteries included, can be used to find and exploit vulnerabilities in smart contracts automatically.
Listing source: Original source. How we curate tools.