Clara (!CompiLe-time Approximation of Runtime Analyses) is a novel research framework for the implementation of hybrid typestate analyses, which use static analyses to partially evaluate runtime monitors for typestate properties. The major design goal of Clara is to de-couple the code-generation for...

Here is the project where we keep annotations used by the PLAID group's static analyses, developed at [http://www.cmu.edu Carnegie Mellon University]. Currently, annotation classes used by the [http://code.google.com/p/pluralism Plural] object protocol checker are available. [http://plaidannot...

A specification language and static analysis to find defects in plugins from framework misuse.

JDepend traverses Java class file directories and 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. At [http://www....

A single ant task that will subject your code to junit, emma, findbugs, checkstyle, pmd, jDepend, TestabilityExplorer & javaNcss without all the fuss of setting up each of these tools. More Information @ [http://www.peterfranza.com/projects/janalysissuite-a-static-analysis-toolkit/] *Usage...

=Description= This project was created to perform source code analysis on the various Linux kernels. The project was written fairly quickly and can be expanded upon to include new language support and new metrics to report on. ----- =Key Features= * Language independent analysis * Code n...

!FreeBoogie is a Java clone of the [http://boogie.codeplex.com/ World's Best Program Verifier]. It checks the correctness of Boogie programs. There are a few frontends for static analysis/verification that target the Boogie language: [http://research.microsoft.com/en-us/projects/specsharp/ Spec#], [...

This is RATS, a rough auditing tool for security, originally developed by Secure Software Inc. It is a tool for scanning C, C++, Perl, PHP, Python (and soon Ruby) source code and flagging common security related programming errors such as buffer overflows and TOCTOU (Time Of Check, Time Of Use) rac...

*JAnalizerCode* This is a group project. This is going to be developed in Java. The result of the project is going to be the framework for developer and the plugin to eclipse. == Group: _JAnalizer destroyer_

The description of the project will be completed as soon as possible.