<<< BACK <<<

STM-049: NeuCheck

Authors

            Lu, Ning and Wang, Bin and Zhang, Yongxin and Shi, Wenbo and Esposito, Christian

Venue and Year

            Software: Practice and Experience, 2019

Original Work

            NeuCheck: A more practical Ethereum smart contract security analysis tool

Defense Modality

            Subtractive

Core Method(s)

            static analysis

Input-Output Mapping

            source code => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities