Browsing the "binaries" Tag

Manticore – Symbolic Execution Tool For Analysis Of Binaries And Smart Contracts

November 16th, 2018 📆 | 2867 Views ⚑

Manticore is a symbolic execution tool for analysis of binaries and smart contracts.  Note: Beginning with version 0.2.0, Python 3.6+

Tagged with: