Embedded Programming with Modern C++ Cookbook

How to do it...

We are going to download and install CPAcheck to our build environment, and then run it against a sample program. Follow these steps:

1. Open a Terminal with your build environment included.
2. Make sure you have root permissions. If not, press Ctrl + D to exit from the user session back to the root session.
3. Install the Java runtime:

# apt-get install openjdk-11-jre

4. Switch to the user session and change directory to /mnt:

# su - user$ cd /mnt

5. Download and unpack the CPACheck archive, as follows:

$ wget -O - https://cpachecker.sosy-lab.org/CPAchecker-1.9-unix.tar.bz2 | tar xjf -

6. Change directory to CPAchecker-1.9-unix:

$ cd CPAchecker-1.9-unix

7. Run CPAcheck against an example file:

./scripts/cpa.sh -default doc/examples/example.c ...