PowerMock is a Java framework that allows you to unit test code normally regarded as untestable.

T.J. Watson Libraries for Analysis, with front ends for Java, Android, and JavaScript, and many common static program analyses.

A new version of Soot with a completely overhauled architecture

The implementation of the Rascal meta-programming language (including interpreter, type checker, parser generator, compiler and JVM based run-time system)

The Ultimate program analysis framework.

GitHub Search: Platform used to crawl, store and present projects from GitHub, as well as any statistics related to them

This is the primary repository for the source code of the OpenJML project. The source code is licensed under GPLv2 because it derives from OpenJDK which is so licensed. The active issues list for O…

Polyglot Extensible Compiler Framework for Java

Static checker for Java

Resumable exceptions and delimited continuations for JVM

Mirror. The original is hosted on bitbucket.