JSON for Modern C++

C++那些事

Static reflection for enums (to string, from string, iteration) for modern C++, work with any enum type without any macro or boilerplate code

A collection of out-of-tree LLVM passes for teaching and learning

Static Value-Flow Analysis Framework for Source Code

Fastbot(2.0) is a model-based testing tool for modeling GUI transitions to discover app stability problems

A LLVM-based static analysis framework.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

An LLVM-based instrumentation tool for universal taint tracking, dataflow analysis, and tracing.

Andersen's inclusion-based pointer analysis re-implementation in LLVM