<<< BACK <<<

STM-038: NPChecker

Authors

            Wang, Shuai and Zhang, Chengyu and Su, Zhendong

Venue and Year

            OOPSLA, 2019

Original Work

            Detecting Nondeterministic Payment Bugs in Ethereum Smart Contracts

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            bytecode => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities