1. Download the Docker image from the following URL: https://zenodo.org/record/4902782

2. Load the Docker image using:

   $ [sudo] docker load < dynaboost-docker.tar.gz

3. Some of our scripts require deep recursion. To allow unlimited stack sizes, execute:

   $ [sudo] ulimit -s unlimited

4. Run the Docker container using:

   $ [sudo] docker run -it dynaboost

5. To check whether the install is successful, run the following commands inside the container:

   $ ulimit -a
   core file size          (blocks, -c) 0
   stack size              (kbytes, -s) unlimited

   $ clang-dfsan -v
   clang version 11.0.0 (https://github.com/llvm/llvm-project.git 48a8c7dcbfb90e917920e90fa2b3ec402e72f4cd)
   Target: x86_64-unknown-linux-gnu
   Thread model: posix
   InstalledDir: /tmp/llvm-project/virtualroot/bin
   Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
   Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7
   Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/7.5.0
   Found candidate GCC installation: /usr/lib/gcc/x86_64-linux-gnu/8
   Selected GCC installation: /usr/lib/gcc/x86_64-linux-gnu/10
   Candidate multilib: .;@m64
   Selected multilib: .;@m64