A static analyzer for Java, C, C++, and Objective-C
Beautifier and language aware code comparison tool for many languages
Software Metrics Analyzer for C,C++,Java Programs
Powerfull & Simple Multilanguage IDE Independent Compiler & Debugger
Dynamic Code Injection Tool for Objective-C
Kammerjäger is a debugging tool with integrated correctness proving.