Skip to content

docker

Directory actions

More options

Directory actions

More options

Latest commit

 

History

History

docker

Folders and files

NameName
Last commit message
Last commit date

parent directory

..
msan
msan
 
 
Dockerfile
Dockerfile
 
 
Dockerfile.msan
Dockerfile.msan
 
 
README.md
README.md
 
 
run-image.sh
run-image.sh
 
 

README.md

Reproducible development environments

For long term development it is better to set up a development environment on your host development machine, but if you'd like to get started quickly, this directory contains a Docker configuration called quick-dev to simplify the configuration of a new development environment.

This directory also contains a configuration, msan, that provides instrumented libraries for use with -fsanitize=memory (GALOIS_USE_SANITIZER=Memory).

Building

docker build -t quick-dev .
docker build -t quick-dev .
docker build -t msan -f Dockerfile.msan .

Using

run-image.sh
# Or...
IMAGE=msan run-image.sh
/source/scripts/docker/msan/config-galois.sh