Almost a decade ago a number of static analyzers began to appear in the market. A number of such products exist now, including those from Coverity, PolySpace (now part of The MathWorks), Grammatech, ...
Some results have been hidden because they may be inaccessible to you
Show inaccessible results