Hands-On RTOS with Microcontrollers

Static analysis

Static analysis is another way of reducing the number of bugs that creep into a code base. Static refers to the fact that the code doesn't need to be executing for this analysis to take place. A static analyzer looks for common programming errors that are syntactically correct (for example, they compile) but are likely to create buggy code (that is, out-of-bounds array access, and so on) and provides relevant warnings.

There are many commercially available packages for static analysis, as well as some that are freely available. Cppcheck is included in STM32CubeIDE (simply right-click on a project and select Run C/C++ Code Analysis). A link to a Free Open Source Software (FOSS) static analyzer from the Clang project is included ...