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
Dec 23, 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++
Static program analysis assignments based on Tai-e
-
Updated
Apr 25, 2024 - Java
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++