A tool for refactoring code related to feature flag APIs

Awaitility is a small Java DSL for synchronizing asynchronous operations

The Z3 Theorem Prover

Find dead Python code

A set of Swift libraries for parsing, inspecting, generating, and transforming Swift source code.

An incremental parsing system for programming tools

Soot - A Java optimization framework

The Go programming language. This fork was created for pprof++, a Go profiler with hardware performance monitoring. Read through the link for more detail: https://eng.uber.com/pprof-go-profiler/

Lightweight static analysis for many languages. Find bug variants with patterns that look like source code.

A code rewrite tool for structural search and replace that supports ~every language.

Comparison of two versions of a jar archive

Time-travel Testing

Plugins to clang-analyzer and clang-frontend