mitchellgerrard/acf repository overview

(Note: this image is large, ~3.6 GB.)

To run the image:

docker run -it mitchellgerrard/acf

Inside the running container, you can run ACF on .c files through the acf command, for example:

cd ~/ase-prototype/c_files/examples acf test.c

The LOG file and intermediate results for the analysis of test.c are found in ~/ase-prototype/c_files/examples/analysis_logs/test.