smartbugs/oyente

•Updated almost 5 years ago

Oyente symbolically executes Ethereum smart contracts to find potential security vulnerabilities

Image

Security

Integration & delivery

2.1K

Tags for smartbugs/oyente

Sort by

TAG

480e725

Last pushed almost 5 years by tdurieux

docker pull smartbugs/oyente:480e725

Digest	OS/ARCH	Compressed size
d41ffcd068bb	linux/amd64	624.65 MB