generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG
-
Updated
Sep 16, 2019 - C++
#
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 3 public repositories matching this topic...
🌸 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++