anchor.diff:      find . -type f -name '*.o' -exec rm -f {} \; && \
       find . -type f -name '*.a' -exec rm -f {} \; && \
       popd && \
  -    popd
  +    popd && \
  +    rm -f /var/lib/apt/lists/*; rm -rf /tmp/*; rm -rf ~/.cache
   
   RUN export tmp=$(mktemp -d) && \
       pushd $tmp && \
  -    wget https://github.com/Z3Prover/z3/tarball/z3-4.5.0 && \
  -    tar zxvf z3-4.5.0 && \
  +    wget https://github.com/Z3Prover/z3/tarball/z3-4.8.3 && \
  +    tar zxvf z3-* && \
       mv Z3Prover-z3-* z3 && \
       pushd z3 && \
       python scripts/mk_make.py --python && \
  
positive.code: #       - Recon-ng
  #   Reversing/Pwn Tools:
  #       - qira
  #       - GDB with Peda/symgdb/Pwngdb
  #       - PwnTools
  #       - one_gadget
  #       - qemu
  
negative.code:     chmod +x metasploit-latest-linux-x64-installer.run && \
      ./metasploit-latest-linux-x64-installer.run --mode unattended --unattendedmodeui none && \
      popd && \
      rm -rf $tmp && \
      rm -f /var/lib/apt/lists/*;  rm -rf /tmp/*; rm -rf ~/.cache
  
  RUN export tmp=`mktemp -d` && \
      pushd $tmp && \
      wget http://software.intel.com/sites/landingpage/pintool/downloads/pin-2.14-71313-gcc.4.4.7-linux.tar.gz && \
      tar xvzf pin-*linux.tar.gz && \
      mv pin-*linux ~/pin && \
      popd && \
      rm -rf $tmp && \
      rm -f /var/lib/apt/lists/*; rm -rf /tmp/*; rm -rf ~/.cache
  
  RUN export tmp=`mktemp -d` && \
      pushd $tmp && \
  