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.
Select exercises from C++ Programming - From Problem Analysis to Program Design 5th Edition
A LLVM-based static analysis framework.
Static analyzer for C/C++ based on the theory of Abstract Interpretation.
static analysis of C/C++ code
C++ simulation, reconstruction and analysis framework for particle physics experiments