static-program-analysis

Star

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

Language: All

Filter by language

All 8 C++ 3 C# 1 Haskell 1 Java 1 TeX 1 TypeScript 1

flowr

flowr-analysis / flowr

Star 81

Sophisticated static program analysis framework for the R programming language.

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

Updated Dec 30, 2025
TypeScript

meton-robean / CFG_DFG_generator

Star 42

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

ruudkoot / phd

Star 3

Stuff related to my Ph.D. research

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

Updated Aug 8, 2023
Haskell

CedaryCat / OTAPI.UnifiedServerProcess

Star 1

An open-terraria-api patcher that enables running multiple server instances within a single process

api framework modding terraria terraria-server otapi control-flow-analysis il cecil call-graph-analysis reachability-analysis alias-analysis multi-servers static-program-analysis multi-world terraria-multiplayer otapi-usp

Updated Oct 23, 2025
C#

rtshkmr / CS3203-StaticProgramAnalyzer

Star 1

🌸 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