A tool for static analysis to look for bugs in Java code
Libraries for Analysis, with frontends for Java, Android, and JS
Catch common Java mistakes as compile-time errors
Datalog variant for tool designers crafting analyses in Horn clauses
Every programmer needs a rubberduck. COM add-in for the VBA & VB6 IDE
A tool that helps to detect errors and in your JavaScript code