Design patterns implemented in Java

Ghidra is a software reverse engineering (SRE) framework

Google core libraries for Java

A programmer-oriented testing framework for Java — ⚠️ maintenance mode

Catch common Java mistakes as compile-time errors

A tool to help eliminate NullPointerExceptions (NPEs) in your Java code with low build-time overhead

SpotBugs is FindBugs' successor. A tool for static analysis to look for bugs in Java code.

Soot - A Java optimization framework

BinNavi is a binary analysis IDE that allows to inspect, navigate, edit and annotate control flow graphs and call graphs of disassembled code.

DEPRECATED! Java implementation of the Ethereum yellowpaper. For JSON-RPC and other client features check Ethereum Harmony

Automated testing to find logic and performance bugs in database systems

Coverage-guided, in-process fuzzing for the JVM

Pluggable type-checking for Java

Jenetics - Genetic Algorithm, Genetic Programming, Grammatical Evolution, Evolutionary Algorithm, and Multi-objective Optimization

OWASP Benchmark is a test suite designed to verify the speed and accuracy of software vulnerability detection tools. A fully runnable web app written in Java, it supports analysis by Static (SAST),…

JQF + Zest: Coverage-guided semantic fuzzing for Java.

A fast and easy to use linear algebra library written in Java for dense, sparse, real, and complex matrices.

AFL-based fuzzing for Java

A free, open-source Java library for automata learning algorithms

Phosphor: Dynamic Taint Tracking for the JVM

Symbolic PathFinder

The Jakstab static analysis platform for binaries

A tool to perform static analysis on regexes to determine whether they are vulnerable to ReDoS.

Semantic program repair system for C programs

Joana - Information Flow Control for Java

Static checker for Java

CogniCrypt_SAST: CrySL-to-Static Analysis Compiler

Efficient and Precise Pointer-Tracking Data-Flow Framework

Concolic analysis tool for Java