Running Infer in Docker

Getting the sources into the container

Mount the directory with your source code into the Docker container as a volume

docker run -v /home/user/project:/mnt --rm -it infer

Next, on the command line inside the container, go to /mnt and run Infer the usual way, e.g.

infer -- make

If you need to install additional packages, you need to first update package lists

apt-get update

Only then you can install packages, for example

apt-get install -y maven