Docker notes

We use Docker hub so users can conveniently download a prebuilt manticore docker image.

Docker hub automatically detects changes on Github and builds images.

It is currently configured to build the latest master branch to a docker tag named "master". It is currently 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 by default get the latest release when they "docker pull". For this reason, it's important that tag names be 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