April 2020
Intermediate to advanced
412 pages
9h 58m
English
Content preview from Embedded Programming with Modern C++ Cookbook
Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
Start your free trial
How it works...
To run CPAcheck, we need to install the Java runtime. This is available in the Ubuntu repository, and we use apt-get to install it.
The next step is to download CPAcheck itself. We use the wget tool to download the archive file and feed it to tar utility immediately to extract it. When completed, the tool can be found in the CPAchecker-1.9-unix directory.
We use one of the pre-packaged example files to check how the tool works:
./scripts/cpa.sh -default doc/examples/example.c
It generates the following output:
We can see, the tool has not discovered any issues with this file. There is no similar file that contains bugs in the ...