Ranked in these QuestionsQuestion Ranking
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.
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.