rmi7 / solhydra_oyente

Docker image containing oyente smart contract analysis tool and helper files for solhydra

Docker image: solhydra oyente

Docker Hub repo: https://hub.docker.com/r/rmi7/solhydra_oyente/