Docker image with current BAP (opam testing) and other dependencies for fast testing of cwe_checker on travis - View it on GitHub