Malcolm: Static analysis in GCC 10

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)."

Comments (none posted)