Projects tagged ‘analysis’ and ‘static’

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 ... [More] libraries and deadlocks. FindBugs can identify hundreds of serious defects in large applications (typically about 1 defect per 1000-2000 lines of non-commenting source statements). FindBugs is open source, and has been downloaded more than 230,000 times, and is used by many major companies and financial institutions. Findbugs can be used from the command line or within ant, eclipse, maven, netbeans and emacs. [Less]

PMD is a Java source code analyzer. It finds unused variables, empty catch blocks, unnecessary object creation, and more. It includes CPD, a tool to detect chunks of identical code.

Gendarme is a extensible rule-based tool to find problems in .NET applications and libraries. Gendarme inspects programs and libraries that contain code in ECMA CIL format (Mono and .NET) and looks ... [More] for common problems with the code, problems that compiler do not typically check or have not historically checked. Gendarme uses the Cecil library to introspect code. [Less]

Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC extensions, and a collection of sample compiler backends, including a static analyzer ... [More] also called "sparse". Sparse provides a set of annotations designed to convey semantic information about types, such as what address space pointers point to, or what locks a function acquires or releases. [Less]

The question I very often have is: which objects (recursively) are loaded in memory if a particular object is created? If you know Call Hierarchy plugin, you will find the Data Hierarchy very ... [More] similar. It searches selected Java classes for declared fields, and starting with the found "Data" it recursively looks for fields which are declared on found classes ("Hierarchy"). At the end you can see kind of "Data Hierarchy" tree. The plugin can not detect reflection based data, data inside non-generic collections, data which is stored as "Object" etc. This is of course a very rough estimation of the real data hierarchy, but works perfectly for a quick walk over data structures/dependencies during code reviews. Additionally plugin can restrict the search to static fields only. [Less]

JDepend4Eclipse plugin for Eclipse is a wrapper for running JDepend from within Eclipse. - What is JDepend? (from www.clarkware.com): JDepend traverses Java class file directories and ... [More] generates design quality metrics for each Java package. JDepend allows you to automatically measure the quality of a design in terms of its extensibility, reusability, and maintainability to manage package dependencies effectively. Advanced JDepend documantation are available as online help in Eclipse (press F1 key) or on the JDepend creator's site (please do not ask me what JDepend metrics are - ask Mike:) [Less]

phpCallGraph is a tool to generate static call graphs for PHP source code. Such a graph visualizes the call dependencies among methods or functions of an application. Arrows represent calls from one ... [More] method to another method. Classes are drawn as rectangles containing the respective methods. The graphs can be leveraged to gain a better understanding of large PHP applications or even to debunk design flaws in them. The core of the call graph generator forms an object-oriented PHP5 library, which may also be integrated in other projects. It leverages the InstantSVC CodeAnalyzer and DOT. On top of it, a commandline application allows easy creation of call graphs in various formats, e.g. text, png, jpg or svg. phpCallGraph is free software licensed under GPLv3. [Less]

The Panopticode project provides a standardized format for describing the structure of software projects and integrates metrics from several tools into that format. Reporting options provide correlation, historic analysis, and visualization.

Architecture Rules leverages an xml configuration file and optional programmatic configuration to assert your code's architecture via unit tests or ant tasks. This test is able to assert that specific ... [More] packages do not depend on others and is able to check for and report on cyclic dependencies among your project's packages and classes. This project wraps a industry accepted JDepend to simplify the process of maintaining a solid software architecture. [Less]

The XRadar is an open extensible code report tool currently supporting all Java based systems. The batch-processing framework produces HTML/SVG reports of the systems current state and the development ... [More] over time - all presented in sexy tables and graphs. It gets results from several brilliant open source projects and a couple of in house grown projects and presents the results as massive unified html/svg reports. The architecture is based on java, xml and xsl. Presently it only supports Java, but there are plans to produce plug ins for other leading languages. [Less]