Tag Archives: Coverity

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

Something about Coverity Modeling – for a friend’s question

Posted on August 10, 2011 by daveti

This post is focusing on general idea of Coverity Modeling based on Coverity 4.5.1 and Coverity 5.4.1 including why and how to do Coverity Modeling. Of course, Coverity official document would always be a good reference to start with. More … Continue reading →

Posted in Stuff about Compiler | Tagged | 1 Comment

coverity modeling build automation tool – cmbat (one way to write multiple-choice menu via shell)

Posted on January 9, 2011 by daveti

I have been responsible for Coverity tool integration/test/support in ALU LCP (Linux Control Platform) dept for nearly 2 years.  In this post, I would share a ksh tool/framework wrote on 2009 for Coverity modeling build automation. However, I would not … Continue reading →

Posted in Dave's Tools | Tagged , , | Leave a comment