Malcolm: Static analysis in GCC 10

Post Syndicated from corbet original https://lwn.net/Articles/816089/rss

David Malcolm writes
about the static-analysis features
that he is working on adding to the
GCC compiler. “This issue is, of course, a huge problem to
tackle. For this release, I’ve focused on the kinds of problems seen in C
code—and, in particular double-free bugs—but with a view toward creating a
framework that we can expand on in subsequent releases (when we can add
more checks and support languages other than C).