Running docker image outputs "Error running securify." on macOS #69
Description
Using a macOS Mojave. Docker is up to date.
➜ ~ docker version
Client: Docker Engine - Community
Version: 18.09.0
API version: 1.39
Go version: go1.10.4
Git commit: 4d60db4
Built: Wed Nov 7 00:47:43 2018
OS/Arch: darwin/amd64
Experimental: false
Server: Docker Engine - Community
Engine:
Version: 18.09.0
API version: 1.39 (minimum version 1.12)
Go version: go1.10.4
Git commit: 4d60db4
Built: Wed Nov 7 00:55:00 2018
OS/Arch: linux/amd64
Experimental: true
I have cloned the securify git repository, and ran docker build . -t securify successfully. I have checked that the Docker image was built, and is available.
When running docker run securify as per the project documentation, i get
Error running securify.
Running with a mounted volume yields the same output. I am confident the volume had only one contract in it, which was successfully analyzed with other engines.
Error running securify.