Interrupt

Firmware Static Analysis with CodeChecker | Interrupt

The pitfalls of C programming are well known: undefined behavior abounds, uninitialized variables lie in wait, memory leaks, and buffers overflow.


This is a companion discussion topic for the original entry at https://interrupt.memfault.com/blog/static-analysis-with-codechecker

For personal projects use pvs-studio

What do you think about this?

PVS Studio has a lot going for it, but it does not do cross-translation-unit analysis at this time (though it is on their roadmap). Additionally, it is a commercial product which requires license management & payment to use on non personal / OSS projects.