Tag Archives: splint

A bad include in C – why static code analysis is needed for modern C/C++ projects

Posted on June 15, 2012 by daveti

We have already had a long discussion and argument for ‘include’ mechanism in C/C++, no matter good or bad, and this is not my intention here. I am writing this post to show a confusing compiler error we have recently … Continue reading →

Posted in Programming, Static Code Analysis, Stuff about Compiler | Tagged , , | Leave a comment

Uninit structure member – Uninit checking and static code analysis

Posted on December 26, 2011 by daveti

A recent software bug caused a serious data damage in our customer’s side, which is using an uninit sturcture member. This post gives a practical comparison between kinds of static code analysis tools for this specific bug among popular commerical … Continue reading →

Posted in Static Code Analysis | Tagged , , , , , , , | Leave a comment