#

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 5 public repositories matching this topic...

meton-robean / CFG_DFG_generator

generating DFG and CFG from source code (using LLVM ) or from binary (using LLVM and Mcsema) 二进制或者源码转CGF& DFG

llvm mcsema static-program-analysis cfg-dfg-generator

Updated Sep 16, 2019
C++

flowr

Code-Inspect / flowr

A program slicer and dataflow analyzer for the R programming language.

r static-analyzer dataflow-analysis program-slicing static-program-analysis

Updated Jun 4, 2024
TypeScript

ruudkoot / phd

Stuff related to my Ph.D. research

type-inference term-rewriting unification-algorithm static-program-analysis

Updated Aug 8, 2023
Haskell

rtshkmr / CS3203-StaticProgramAnalyzer

🌸 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 🌸

cpp17 static-program-analysis

Updated Nov 30, 2021
C++

SwathiSBhat / Static-program-analysis-techniques

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++

Followers: 100 followers

Related Topics

dynamic-code-analysis testing