Docker provides a way to run applications securely isolated in a container, packaged with all its dependencies and libraries.
To see how you can run a CodeChecker server in Docker read the following sections.
Table of Contents
- Build Docker image
- Pre-built CodeChecker Docker images
Build Docker image
You can create a Docker image by running the following command in the root directory of this repository:
docker build -t codechecker-web:latest web/docker
Multiple build-time variables can be specified:
CC_REPO(default: https://github.com/Ericsson/CodeChecker.git): repository which will be cloned from Git. Use it when you would like to build an image from a custom CodeChecker repository.
CC_VERSION(default: master): branch or tag version which will be cloned from Git. Use
masterif you would like to build an image from the latest CodeChecker.
CC_UID(default: 950): id of the codechecker user which will be created during the image build and which will be used to start CodeChecker server.
CC_GID(default: 950): id of the codechecker group which will be created during the image build.
INSTALL_AUTH(default: yes): set it to
noto not install authentication dependencies like ldap.
INSTALL_PG8000(default: no): set it to
yesto install pg8000 requirements.
INSTALL_PSYCOPG2(default: yes): set it to
noto not install psycopg2 requirements.
docker build \
--build-arg INSTALL_AUTH=yes \
--build-arg INSTALL_PSYCOPG2=yes \
--tag codechecker-web:latest web/docker
Pre-built CodeChecker Docker images
You can use our pre-built Docker images which can be found in the Docker Hub.
To run a CodeChecker server docker container use the following command:
docker run -d \
-p 8001:8001 \
-v /home/$USER/codechecker_workspace:/workspace \
Docker Compose is a tool for defining and running multi-container Docker applications.
CodeChecker server can be easily run by defining the services that make up your
docker-compose.yml so they can be run together in an isolated
To run a simple CodeChecker server with SQLite database you have to write a compose file similar to this.
Follow the instructions here for the general database setup.
PostgreSQL (no authentication)
To run a CodeChecker server and a PostgreSQL database cluster which does not require authentication you have to write a compose file similar to this.
To run a CodeChecker server and a PostgreSQL database cluster which requires authentication you have write a compose file which should be similar to this.
Docker secrets can be used
to define the superuser password in the PostgreSQL instance and to define a
.pgpass file in the CodeChecker server container for database connections:
postgres-passwd: this file will contain the superuser password which will be used in the
initdbscript during initial container startup. For more information see
Docker Secretssection of the official readme.
pgpass: this file can contain passwords to be used if the connection requires a password. This file should contain lines of the following format:
hostname:port:database:username:password. For more information see.
Note: please change the passwords in the example
postgress-passwd files to something else, before deploying the service.
Running your app
docker-compose -f web/docker/services/<service-yml-file> up -d and
Compose starts and runs your entire app.
Deploy your app in docker swarm
Init your swarm node:
docker swarm init
Join multiple nodes to your swarm if you want.
Add labels to your nodes:
docker node update codechecker-db=true <node-id> docker node update codechecker-server=true <node-id> docker node update codechecker-nginx=true <node-id>
docker node lscommand to list nodes in the swarm and to get there id's.
Run the following command on the manager node to deploy the service:
docker stack deploy -c web/docker/services/docker-compose.swarm.yml --with-registry-auth cc
CodeChecker supports to configure liveness, readiness and startup probes for containers when using Kubernetes.
If your server is running on
8080 port then two URL
endpoints will be available for you:
my.company.org:8080/live: simply say that the server is running. In case of succes it will response with
200status code and a
my.company.org:8080/ready: it will run a simple query on the database. In case of success it will response with
200status code and a
CODECHECKER_SERVER_IS_READYmessage. In case of error it will response with
500error code and a