Diffblue

CBMC - C Bounded Model Checker

This docker image provides Diffblue Cover CLI for use in CI or other dockerised environments.

Diffblue Cover CLI with a JDK, Maven, and Gradle all installed.

Based on the Jenkins incoming agent Docker image

Docker images for building CBMC in/for different operating systems.

Mirror of the OpenJDK repo so we can change the version of Debian back to 8.