PVS-Studio is a static code analyzer that detects errors and potential vulnerabilities in programs written in C, C++, and C#. In the new version of the PVS-Studio analyzer 6.22 our team finalized the infrastructure for checking the embedded projects of the following type:
1. Support of ARM Compiler 5 and ARM Compiler 6 was introduced as a part of the environment Keil uVision 5.
2. Support of ARM 5 and ARM 6 compilers was introduced as a part of the environment Keil DS-MDK.
3. And also IAR C/C++ Compiler for ARM as a part of the environment IAR Embedded Workbench.
You can download the demo version of PVS-Studio here:
https://www.viva64.com/en/pvs-studio-download-linux/
We understand that many projects for embedded systems are small and it will prove to be impractical to buy a license. That’s why, we provide the option of free license, details of which can be found in the article "How to use PVS-Studio for Free" -
https://www.viva64.com/en/b/0457/ . The great advantage of our free license option is the ability to use it not only in open, but also in closed projects.