Static code analysis
A static analyzer for Java, C, C++, and Objective-C
An Azure Function solution to crawl through all of your image files
transfer text in diverse formats into specific xml parser-trees
Tool for code duplication detection in QtCreator projects.
Kammerjäger is a debugging tool with integrated correctness proving.