&gt;The JPL recommended static analyzers are fast, and produce sparse and accurate messages.<p>I&#x27;m interested in what analyzers they may be recommending. I think this is a field that&#x27;s come a long way since 2009.<p>A lot of these standards could actually be implemented as rules in modern products, which would assist with using them.