STM-041: EasyFlow

Authors

            Gao, Jianbo and Liu, Han and Liu, Chao and Li, Qingshan and Guan, Zhi and Chen, Zhong
            

Venue and Year

            ICSE-Companion, 2019
            

Original Work

            EASYFLOW : Keep Ethereum Away From Overflow
            

Defense Modality

            Subtractive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            chain data => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities