Malcolm: Static analysis in GCC 10
([Development] Mar 26, 2020 20:56 UTC (Thu) (corbet))
- Reference: 0000816089
- News link: https://lwn.net/Articles/816089/
- Source link:
David Malcolm [1]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). "
[1] https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10/
[1] https://developers.redhat.com/blog/2020/03/26/static-analysis-in-gcc-10/