Manticore is a symbolic execution tool for analysis of smart contracts and binaries.
Visit the following resources to learn more: