A coding rules checker for GCC

The GGCC project set out in 2006 to add a set of code checking and static analysis tools to the GCC compiler. This project has now announced the initial release of a coding rules checker for C++; in this context, "coding rules" means programming practices, rather than basic coding style. "Our modified version of GCC can dump some information about a C++ program in the form of Prolog facts. Then, a Prolog engine is used for codifying coding rules and search the dumped data for violations of the rules. Very few rules are implemented right now but, hopefully, some more rules will be added in the next days/weeks." Some more information can be found on the GGCC coding rules page, though it seems to lack a list of which rules are actually checked.

Full Story (comments: 1)