STM-052: MPro

Authors

            Zhang, William and Banescu, Sebastian and Pasos, Leonardo and Stewart, Steven and Ganesh, Vijay
            

Venue and Year

            ISSRE, 2019
            

Original Work

            MPro: Combining Static and Symbolic Analysis for Scalable Testing of Smart Contract
            

Defense Modality

            Subtractive
            

Core Method(s)

            static anslysis + symbolic execution
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities