<<< BACK <<<

STM-037: sCompile

Authors

            Chang, Jialiang and Gao, Bo and Xiao, Hao and Sun, Jun and Cai, Yan and Yang, Zijiang

Venue and Year

            ICFEM, 2019

Original Work

            sCompile: Critical Path Identification and Analysis for Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            symbolic execution

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities