STM-103: DEFECTCHECKER

Authors

            Chen, Jiachi and Xia, Xin and Lo, David and Grundy, John and Luo, Xiapu and Chen, Ting
            

Venue and Year

            TSE, 2021
            

Original Work

            DEFECTCHECKER: Automated Smart Contract Defect Detection by Analyzing EVM Bytecode
            

Defense Modality

            Subtractive
            

Core Method(s)

            symbolic execution
            

Input-Output Mapping

            bytecode => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities