<<< BACK <<<

STM-126: SmartInspect

Authors

            Bragagnolo, Santiago and Rocha, Henrique and Denker, Marcus and Ducasse, St{\'e}phane

Venue and Year

            IWBOSE, 2018

Original Work

            SmartInspect: Solidity Smart Contract Inspector

Defense Modality

            Exploratory

Core Method(s)

            static analysis

Input-Output Mapping

            source code + chain data => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities