STM-054: Gastap

Authors

            Albert, Elvira and Gordillo, Pablo and Rubio, Albert and Sergey, Ilya
            

Venue and Year

            VECoS, 2019
            

Original Work

            Running on Fumes: Preventing Out-of-Gas Vulnerabilities in Ethereum Smart Contracts using Static Resource Analysis
            

Defense Modality

            Additive
            

Core Method(s)

            static analysis
            

Input-Output Mapping

            source code | bytecode | assembly code => report
            

Targeted Contracts

            Any Ethereum
            

Threat Model

            both
            

Targeted Vulnerabilities