IntelliJ IDEA Community Edition & IntelliJ Platform

Soot - A Java optimization framework

Micro-benchmarking library for Java

A Persistent Java Collections Library

An open-source Java library for Constraint Programming

A Doclet that allows the use of Markdown in JavaDoc comments.

The Ultimate program analysis framework.

JavaSMT - Unified Java API for SMT solvers.

Practical Algorithm to Retrieve Information Coded in Alphanumeric (PATRICIA)

JKind - An infinite-state model checker for safety properties in Lustre

An OO/Functional Crit-bit tree in Java.

jSMTLIB is an open source implementation of SMT-LIB in Java, as a command-line tool, an Eclipse plugin, and an API, with interfaces to many SMT solvers.

A constraint solver abstraction layer for Java

Error-finding tool based on static analysis

jConstraints abstraction layer for Z3

Panda: Predicate Abstraction in Dynamic Analysis