Malcolm: Static analysis in GCC 10

David Malcolm writesabout the static-analysis features that he is working on adding to theGCC compiler. "This issue is, of course, a huge problem totackle. For this release, I've focused on the kinds of problems seen in Ccode-and, in particular double-free bugs-but with a view toward creating aframework that we can expand on in subsequent releases (when we can addmore checks and support languages other than C)."