A static-analysis framework for GCC
A static-analysis framework for GCC
[Development] Posted Dec 4, 2019 22:04 UTC (Wed) by jake
One of the features of the Clang/LLVM compiler that has been rather lacking for GCC may finally be getting filled in. In a mid-November post to the gcc-patches mailing list, David Malcolm described a new static-analysis framework for GCC that he wrote. It could be the starting point for a whole range of code analysis for the compiler.