static analysis

This plug-in helps you detect and fix quality and security issues as you write code in Java/JSP, C/C++, JS/TS/CSS, PHP, Python, and HTML/XML, as well as other languages.

The Checkstyle Plugin (eclipse-cs) integrates the well-known source code analyzer Checkstyle into the Eclipse IDE. Checkstyle is a development tool to help you ensure that your...

SpotBugs is a defect detection tool for Java that uses static analysis to look for more than 400 bug patterns, such as null pointer dereferences, infinite recursive loops, bad uses...

FindBugs is a defect detection tool for Java that uses static analysis to look for more than 200 bug patterns, such as null pointer dereferences, infinite recursive loops, bad uses...

UCDetector (Unnecessary Code Detector) is a eclipse PlugIn tool to find unnecessary (dead) public java code. For example public classes, methods or fields which have no references.

jSparrow plug-in developed for Java refactoring jSparrow is an IDE extension that helps you detect and fix quality problems as you write code. jSparrow flags errors, similar to a...

Cppcheck is a static analysis tool for C/C++ code. It provides unique code analysis to detect bugs and focuses on detecting undefined behaviour and dangerous coding constructs. The...

The Synopsys Software Integrity Group is now Black Duck. If you are an existing Code Sight user, please follow these instructions to manually re-install Code Sight in order to...

Artemis is an Eclipse plugin for C/C++ static code analisys. As minimum requirement you need Eclipse 2019-03 with CDT 9.7

A critical issue in developing TTCN-3 test suites is the readability, consistency, maintainability, and documentation of Testing and Test Control Notation version 3 (TTCN-3) code...