Sonar plugin to analyze Broker ESQL-code
A Lexer and a Parser to PHP scripts
Benchmark code quality and measure Technical Debt of projects in Sonar
A library for monitoring the garbage collection of app objects
Null dereference verifier for Java Programs
JASTI (Java AST Inspector)
Kammerjäger is a debugging tool with integrated correctness proving.