smartbugs/oyente

Sponsored OSS

By smartbugs

Updated over 3 years ago

Oyente symbolically executes Ethereum smart contracts to find potential security vulnerabilities

Image
Integration & Delivery
Security
0

1.5K

This Docker image is part of SmartBugs, a framework for analysing Ethereum smart contracts. SmartBugs implements a modular approach to integrating analysers. All it takes to add a new tool is a Docker image encapsulating the tool, a few lines in a config file, and a small Python script to make the output accessible in a standardised format.

How to run this image

Docker Pull Command

docker pull smartbugs/oyente