An extensible multilanguage static code analyzer
Open-source code analysis platform for C/C++/Java/Binary/Javascript
A source code analyzer
LuziensEditor ist eine kleine IDE für Java, C/C++, und Webentwicklung
Program to translate source codes
A static source code analyser for Fortran 90 and C++
A tool to convert C++ definitions into XML
Kammerjäger is a debugging tool with integrated correctness proving.