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 6 public repositories matching this topic...
A program slicer and dataflow analyzer for the R programming language.
-
Updated
Jul 2, 2024 - TypeScript
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