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++
Kammerjäger is a debugging tool with integrated correctness proving.