[$] A static-analysis framework for GCC
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.