Secure your code as it's written. Use Snyk Code to scan source code in minutes - no build needed - and fix issues immediately.
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.