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
A tool for linting and static analysis of Lua code
Null dereference verifier for Java Programs
Kammerjäger is a debugging tool with integrated correctness proving.