cyberstars / tools / manticore
Manticore
—Symbolic execution for binaries and smart contracts.
Voir sur GitHub
PythonAGPL-3.0
Trail of Bits' symbolic-execution tool for x86/x64/ARM binaries and Ethereum smart contracts. Excellent for CTF and security research.