SQL Injection Analyzer is a Roslyn-based static source code analyzer which focuses on finding non-parametric queries in C# source code. This repository is my Bachelor's thesis.
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."