... | ... | @@ -71,10 +71,9 @@ As an illustrative example, we will prep the Unix calculator utility `bc` for fu |
|
|
# copy bc into /tmp
|
|
|
cp $(which bc) /tmp
|
|
|
|
|
|
# ZAFL instrument the program by running the Docker image
|
|
|
# map the host's /tmp directory into the docker image's /io directory,
|
|
|
# and specify the input binary to transform /io/bc, and
|
|
|
# the output binary /io/bc.zafl
|
|
|
# thus /tmp/bc corresponds to /io/bc inside of the Docker container
|
|
|
# The output binary produced inside the containter, /io/bc.zafl, maps to /tmp/bc.zafl
|
|
|
docker run -v /tmp:/io -t git.zephyr-software.com:4567/opensrc/libzafl/zafl:latest /io/bc /io/bc.zafl
|
|
|
```
|
|
|
|
... | ... | |