Docker notes

We use Docker Hub so users can download prebuilt Manticore docker images.

Docker Hub automatically detects changes on Github and builds new images. It is configured to build the latest master branch to a docker tag named "master". It is configured to build the latest tag that matches the "/^[0-9.]+$/" regex (version number) to a docker tag named "latest". By default docker uses the "latest" tag name in the "docker pull" command, so users will get the latest release when they "docker pull".

For this reason, it is important that tag names contain only the name of the version, with no other characters (e.g. v0.2.1), so the regex will match.

docker pull trailofbits/manticore
OR
docker build -t manticore . # from tree root, build container from Dockerfile


docker run -it -v `pwd`/examples:/home/manticore/examples manticore 
docker rm (docker ps -a -q) # delete all containers
docker images # view images