STM-020: SmartCheck

Authors

            Tikhomirov, Sergei and Voskresenskaya, Ekaterina and Ivanitskiy, Ivan and Takhaviev, Ramil and Marchenko, Evgeny and Alexandrov, Yaroslav
            

Venue and Year

            WETSEB, 2018
            

Original Work

            SmartCheck: Static Analysis of Ethereum Smart Contracts
            

Defense Modality

            Subtractive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            source code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities