This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
nWire for PHP: Code Exploration for Eclipse
Visualize and understand the application components and associations.
Find your way through the most complex code
Focus on coding, maximize your p...
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 of the Java libr...
This plug-in from the Eclipse JDT UI team provides a view to visualize the Java elements in Eclipse's Java model. The view shows the result of many method calls on model elements either as children...
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.
The model i...
JDeodorant is an Eclipse plug-in that identifies design problems in software, known as bad smells, and resolves them by applying appropriate refactorings.
JDeodorant employs a variety of novel m...
metriculator creates static software metrics based on C++ source code, e.g. cyclomatic complexitiy or logical lines of source code. For more information goto https://github.com/ideadapt/metriculator
ModelGoon brings new points of view of a Java project. Thanks to its tight connection and interaction with the Eclipse Java Development Tools JDT. ModelGoon provides also round-trip features on Cla...
This project provides a set of tools for the model checker NuSMV.
Following tools are contained, or will be contained in the near future:
Two metamodels based on the Eclipse Modeling Framewor...
nWire for Java: Code Exploration for Eclipse
Visualize and understand the application components and associations.
Find your way through the most complex code
Focus on coding, maximize your ...
nWire for PHP: Code Exploration for Eclipse
Visualize and understand the application components and associations.
Find your way through the most complex code
Focus on coding, maximize your p...
The Java 8 Stream API sets forth a promising new programming model that incorporates functional-like, MapReduce-style features into a mainstream programming language. However, using streams efficie...
Jump to code is integration of OtrosLogViewer with Eclipse IDE. If log event contains stack trace user can move mouse on selected stack element and click on it. IDE will open java class at selected...
Plugin provides both command line and Eclipse UI for static package, plugin and feature dependencies analysis (the dependencies are read from MANIFEST.MF and feature.xml files).
The project is s...
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 private ...
PMD is a source code analyzer. It finds common programming flaws like unused variables, empty catch blocks, unnecessary object creation, and so forth. It supports Java, JavaScript, Salesforce.com A...
Common coding and design practices in software projects are a good thing. To support them, there is a number of helpful tools around, such as static code analyzers, test coverage tools, code format...
PRQA·Eclipse is an extension that provides an interface to PRQA·Framework from inside the Eclipse environment. In order to use PRQA·Eclipse, the correct license server must be set and PRQA Framewor...
On one site there exists many good PHP tools such as PHPUnit or PHP CodeSniffer which support the development of PHP scripts. On the other side there powerful IDEs for example PHP Delepment Tools P...
PyDev is a plugin that enables Eclipse to be used as a Python IDE (supporting also Jython and IronPython). It uses advanced type inference techniques which allow it to provide things such as code c...
Robusta, a programmatic bad smell detection tool, has been developed to help Java developers deal with 6 types of exception handling bad smells. Robusta is capable of detecting exception related ba...
Scalastyle examines your Scala code and indicates potential problems with it. If you have come across Checkstyle for Java, then you’ll have a good idea what scalastyle is. Except that it&rsqu...
Scertify™ Professional Edition is an Eclipse plugin dedicated to analyze and automatically correct code quality defects, through computer-assisted code refactoring. It includes +1,600 coding rule c...
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 artifact search cap...
Automatically track your programming activity in real-time. See your coding data to increase flow, decrease interrupts, achieve work-life balance, and more.
For detailed setup instructions, plea...
