A bug detector based on call graphs and invariant inference
-
Updated
May 25, 2025 - C++
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.
Add a description, image, and links to the interprocedural-analysis topic page so that developers can more easily learn about it.
To associate your repository with the interprocedural-analysis topic, visit your repo's landing page and select "manage topics."