Getting Started with Spring Boot 3:

ANTLR (ANother Tool for Language Recognition) is a powerful parser generator for reading, processing, executing, or translating structured text or binary files.

An extensible multilanguage static code analyzer.

Soot - A Java optimization framework

Automated testing to find logic and performance bugs in database systems

An easy-to-learn/use static analysis framework for Java

FlowDroid Static Data Flow Tracker

A new version of Soot with a completely overhauled architecture

JLang: Ahead-of-time compilation of Java programs to LLVM

IFDS/IDE Solver for Soot and other frameworks

AFL-based fuzzing for Java

The official repo of Doop, the declarative pointer analysis framework.

LLFI is an LLVM based fault injection tool, that injects faults into the LLVM IR of the application source code. The faults can be injected into specific program points, and the effect can be easil…

Datalog that's as easy as ABC.

USF CS601 lecture notes and sample code

A points-to and alias analysis benchmark suite

STARTS - A tool for STAtic Regression Test Selection

D4: Fast Concurrency Debugging with Parallel Differential Analysis

VLSI CAD Algorithm Visualizations implemented as Java Applications

A Soot-based Software Fault Injection Tool

BigFuzz: Efficient Fuzz Testing for Data Analytics using Framework Abstraction (ASE 2020)

A distributed dataflow analysis framework supporting the general interprocedural dataflow analysis

FaultSee: Reproducible Fault Injection in Distritbuted Systems

A compiler that enables data management systems (e.g. RDBMS and Apache Hadoop) to manage ontological data