Docker image that provides static analysis tools for PHP
Promises for Swift & ObjC
JSCover - JavaScript code coverage
A tool that helps to detect errors and in your JavaScript code
XSS and SQLi vulnerabilities corrrector for PHP web applications
A tool for linting and static analysis of Lua code
Software Metrics Analyzer for C,C++,Java Programs
Null dereference verifier for Java Programs
Kammerjäger is a debugging tool with integrated correctness proving.