<<< BACK <<<

STM-035: solc-verify

Authors

            Hajdu, {\'A}kos and Jovanovi{\'c}, Dejan

Venue and Year

            VSTTE, 2019

Original Work

            solc-verify: A Modular Verifier for Solidity Smart Contracts

Defense Modality

            Additive

Core Method(s)

            static analysis

Input-Output Mapping

            source code + specifications => report

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            both

Targeted Vulnerabilities