Tag Archives: Coverity

cccmt – Coverity code complexity metrics tool

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

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

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

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

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)

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