PVS-Studio for Embedded Development
The PVS-Studio analyzer allows you to check source code of applications developed for embedded systems. The current version supports the IAR, Keil, TI Arm compilers, and the GCC-based GNU Embedded Toolchain. You can check such projects under Windows, Linux, and macOS.