Tags
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.