interprocedural-analysis

ProngC is a tool detects shared state and missing lock protections between data accesses in C function definitions.

A bug detector based on call graphs and invariant inference

This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.