Sophisticated static program analysis framework for the R programming language.
-
Updated
Sep 18, 2025 - TypeScript
#
static-program-analysis
Static program analysis (or static analysis) is the analysis of computer programs performed without executing them, in contrast with dynamic program analysis, which is performed on programs during their execution.
Here are 7 public repositories matching this topic...
generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
-
Updated
Sep 16, 2019 - C++
Stuff related to my Ph.D. research
-
Updated
Aug 8, 2023 - Haskell
🌸 A Static Program Analyzer for a made-up programming language called SIMPLE, with a made-up query language called PQL (Program Query Language). Written entirely in C++, without any dependencies, this reinventing of the wheel was a genuine journey of growth as part of a team of 6, Team 35 🌸
-
Updated
Nov 30, 2021 - C++
Implementation of different forms of static program analysis techniques
control-flow-analysis program-analysis taint-analysis program-slicing reaching-definition-analysis static-program-analysis andersen-analysis
-
Updated
Apr 2, 2024 - C++
Static program analysis assignments based on Tai-e
-
Updated
Apr 25, 2024 - Java
My doctoral dissertation ❀
programming-languages formal-methods phd-thesis augusta-university static-program-analysis implicit-computational-complexity
-
Updated
Sep 20, 2025 - TeX
- Followers
- 119 followers
- Website
- github.com/topics/static-code-analysis