Category Archives: Static Code Analysis

Valgrind – dynamic code analysis tool – part I – basic trial and hints

Posted on August 1, 2012 by daveti

We are recently trying to find a tool providing the ability for concurrency issue detection. For this topic, generally, I believe in 3 steps: 1. CPR (capacity, performance, redundancy) testing, 2. Static code analysis, 3. Dynamic code analysis. CPR testing … Continue reading →

Posted in Static Code Analysis | Tagged , , , | 1 Comment

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

cccmt – Coverity code complexity metrics tool

Posted on April 21, 2012 by daveti

cccmt is used to parse the METRICS.errors.xml generated by cov-analyze of Coverity to produce a Code Complexity Metrics (CCM) report of different functions. SAX is used to parse XML file instead of DOM as the XML file may be very … Continue reading →

Posted in Dave's Tools, Programming, Static Code Analysis | Tagged , , , , , , | Leave a comment

uninit member in destructor – Coverity UNINIT and UNINIT_CTOR checkers

Posted on March 14, 2012 by daveti

Recently we encountered a serious bug like the code below – destructor function delete one member ptr, which was never init’d. At first, we were assuming checker UNINIT could help figure it out as we do not see any difference … Continue reading →

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

Print unsigned long long – SegV in C

Posted on January 22, 2012 by daveti

This post shows a potential bug in printing unsigned long long, which cost David, Leo and me a few days for debugging. One product got segv on cPSB lab – a platform based on MontaVista Linux and PowerPC CPU. Back … Continue reading →

Posted in Programming, Static Code Analysis, Stuff about Compiler | Tagged , , , | 2 Comments

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