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.

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”. The great advantage of our free license option is the ability to use it not only in open, but also in closed projects.

We think that many embedded developers are not familiar or almost unfamiliar with the PVS-Studio analyzer. Therefore, we offer them to get acquainted with our blog and examples of bugs that we found in demonstration purposes in the well-known open source projects.