STM-074: Clairvoyance

Authors

            Ye, Jiaming and Ma, Mingliang and Lin, Yun and Sui, Yulei and Xue, Yinxing
            

Venue and Year

            ICSE-Companion, 2020
            

Original Work

            Clairvoyance: Cross-contract Static Analysis for Detecting Practical Reentrancy Vulnerabilities in Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            vulnerable contract
            

Targeted Vulnerabilities