[$] A static-analysis framework for GCC

One of the features of the Clang/LLVM compiler that has been rather lackingfor GCC may finally be getting filled in. In a mid-November postto the gcc-patches mailing list, David Malcolm described a newstatic-analysis framework for GCC that he wrote. It could be the starting point for awhole range of code analysis for the compiler.