smartbugs/oyente_plus

•Updated about 1 year ago

Oyente+ symbolically executes Ethereum smart contracts to find potential security vulnerabilities.

Image

Security

Integration & delivery

1.9K

Tags for smartbugs/oyente_plus

Sort by

TAG

latest

Last pushed about 1 year by gsalzer

docker pull smartbugs/oyente_plus:latest

Digest	OS/ARCH	Compressed size
8c7fe9eca284	linux/amd64	91.54 MB

TAG

060ca34

Last pushed about 1 year by gsalzer

docker pull smartbugs/oyente_plus:060ca34

Digest	OS/ARCH	Compressed size
8c7fe9eca284	linux/amd64	91.54 MB

TAG

2acaf2e

Last pushed about 1 year by gsalzer

docker pull smartbugs/oyente_plus:2acaf2e

Digest	OS/ARCH	Compressed size
7cae94d3002f	linux/amd64	91.54 MB