coverity

What does HFA stand for in Coverity?

Coverity has a checker 'HFA' which is used to identify unused included header files. I understand what its used for but I don't understand the abbreviation. What does HFA stand for? It doesn't appear to be mentioned in the documentation and a quick bit of googling hasn't turned anything up. ...

How well does static code analysis work with Spring and other abstractions?

I'm in a situation where I'm required to make at least some effort to remove never-used code from my source code. The general preference is to use a static code analysis tool. We've had great luck with this in other projects, but the folks I hear from are mostly C/C++ developers working on device level code. I'm a web developer work...

Anyone using Coverity 5 with .net development?

I was just wondering if anyone is using Coverity or Coverity 5 with .net development and if yes what your feelings are about it. ...

Silencing false positives in Coverity

I am using Coverity on a C++ project. Is there some way of flagging false positives directly in the source code? ...

"x = ++x" is it really undefined?

I am using Coverity on a project to find errors. It reports an error for this expression (The variable names are of course changed): x= (a>= b) ? ++x: 0; The message is: EVALUATION_ORDER defect: In "x=(a>= b) ? ++x: 0;", "x" is written in "x" (the assignment LHS) and written in "(a>= b) ? ++x: 0;" but the order in which the...