<<< BACK <<<

STM-131: OpenZeppelin Contracts

Authors

            OpenZeppelin

Venue and Year

            GitHub, 2017

Original Work

            OpenZeppelin Contracts

Defense Modality

            Additive

Core Method(s)

            code synthesis

Input-Output Mapping

            source code => source code

Targeted Contracts

            Any Ethereum

Threat Model

Vulnerable contract, malicious contract, or both 
            vulnerable contract

Targeted Vulnerabilities