GitHub topics: interprocedural-analysis
iamaayushrivastava/Inter-Procedural-Constant-Propagation
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.
Language: LLVM - Size: 23.4 KB - Last synced at: 8 days ago - Pushed at: 8 days ago - Stars: 0 - Forks: 0
1811htsang/IE105-P21-Software-bug-detection-using-graph Fork of jkottapa/BugDetector
A bug detector based on call graphs and invariant inference
Language: C - Size: 103 MB - Last synced at: 27 days ago - Pushed at: 27 days ago - Stars: 1 - Forks: 0
KleinMichalGit/SQLInjectionAnalyzer
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.
Language: C# - Size: 1.02 MB - Last synced at: about 2 years ago - Pushed at: about 2 years ago - Stars: 0 - Forks: 0
