When comparing FlexeLint vs Coverity, the Slant community recommends FlexeLint for most people. In the question“What are the best static analysis tools for C?” FlexeLint is ranked 3rd while Coverity is ranked 4th. The most important reason people chose FlexeLint is:
FlexeLint employs a kind of value tracking of variables that can span across functions as well as within. Because of these sophisticated value tracking features, it can provide analysis for errors like out-of-bound access, null pointer deferencing and division by zero.
Ranked in these QuestionsQuestion Ranking
Pros
Pro Can provide sophisticated analysis for things like out-of-bound access, null pointer dereferencing, and division by zero
FlexeLint employs a kind of value tracking of variables that can span across functions as well as within. Because of these sophisticated value tracking features, it can provide analysis for errors like out-of-bound access, null pointer deferencing and division by zero.
Pro Warnings can be turned on/off in the code itself
Warnings can easily be turned on/off in the code via comments, for example: /* lint -e123*/
. This is a powerful documentation tool in its own right as well. Since you are turning off a certain warning, it can be implicitly understood that there's a reason to do a certain thing in a certain way.