STM-005: Manticore

Authors

            Mossberg, Mark and Manzano, Felipe and Hennenfent, Eric and Groce, Alex and Grieco, Gustavo and Feist, Josselin and Brunson, Trent and Dinaburg, Artem
            

Venue and Year

            ASE, 2019
            

Original Work

            Manticore: A User-Friendly Symbolic Execution Framework for Binaries and Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            symbolic execution
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities