Manticore
JSON →Manticore is a symbolic execution tool for analysis of binaries and smart contracts. Current version 0.3.7 (2022-10-06), released by Trail of Bits. Active development with major refactors in 0.3.x; Ethereum features use crytic-compile.
Traffic · last 30 days ↑0% vs prev 7d
total hits 9
actors 2 distinct systems
last hit 14h ago AhrefsBot
top countries 🇨🇦 Canada · 🇺🇸 United States · 🇪🇸 Spain · 🇸🇬 Singapore
Resources
homepagemanticore.readthedocs.io ↗