Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Contents:
Index
Module Index
Search Page