ThreadSafe is an advanced static analysis product that focuses on concurrency issues in Java. Integrated with Eclipse, and running on Windows, Linux and OS X, it identifies and...
Includator is an Eclipse CDT plugin which helps to manage include dependencies in C/C++ projects. With the help of static code analysis, problems or improvements can be detected...
Kaveri provides a tool for performing static slicing of Java programs. Using Kaveri, the user can select a program point p and find all the program points that may depend on...
Cigital SecureAssist is a plugin for Eclipse which points out common security vulnerabilities as the developer is coding. It reduces risk by delivering actionable guidance in...
Powered by a comprehensive static analysis engine, Klocwork Insight combines on-the-fly analysis, drag & drop build reporting and cross-project impact analysis to deliver serious...
PMD scans Java source code and looks for potential problems like: * Possible bugs - empty try/catch/finally/switch statements * Dead code - unused local variables, parameters and...
X-Ray is a free open-source software visualization plug-in for the Eclipse framework, it provides System Complexity View, Class and Package Dependency View for a given Java project...
Welcome to inCode Helium, the next generation quality exploration tool designed by developers, for developers. inCode Helium detects quality problems and helps you understand their...
inFusion makes quality assurance of multi-million LOC systems not merely practical, but effective, successfully handling both object oriented and procedural style code. Whether you...
The primary function of the SEA-QL is the fast and accurate search of Java-related software engineering artifacts using their properties and relations. SEA-QL’s unparalleled...