Automated mass refactoring of source code
Docker image that provides static analysis tools for PHP
Node.js express.js MongoDB JWT REST API - Basic Project Skeleton
Template for AspectJ, by which you can trace back the method call.
Code editor that connects you to your creation with instant feedback
Custom checks, filters and quickfixes for CheckStyle and Eclipse-CS
A static source code analyser for Fortran 90 and C++
State Dependency deconstructor and mapper for C source code.
[frozen] A library for computing cycles in graphs or in Java code.
Search TODO, FIXME and similar comments in project files.
Maven OpenJPA Query Translator Plugin
Kammerjäger is a debugging tool with integrated correctness proving.