Nov 6, 2020
Manticore is a symbolic execution tool for analysis of binaries and smart contracts.
Apr 17, 2020
Ethereum Virtual Machine (EVM) assembler and disassembler
May 23, 2014
A tool for searching the minimal crashing file.
Mar 3, 2011
Open PDF Analysis Framework