trailofbits/manticore

trailofbits/manticore

GitHubGitHub
GitHubgithub.com
blog.trailofbits.comblog.trailofbits.com
Releases28
Frequency2 months 4 days
Last Release
Stars3.86K
Symbolic execution tool
Log in to subscribe

Linked projects

manticore
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.