Prolint is a tool for automated sourcecode review of Progress 4GL code. Prolint can enforce company coding standards and finds sloppy code and code that may perform differently than how the programmer intended.
LLVM is a unique compiler infrastructure designed for the optimization of programs from arbitrary programming languages. Compilation in C and C++ programs is supported using a parser based on GCC 3.4. Backends exist for X86, Sparc, PowerPC and "C".