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