control-flow-analysis

Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language

scheme control-flow-analysis pushdown-automaton k-cfa abstract-garbage-collection

Updated Nov 24, 2015
Scala

shramos / pyc-cfg

Star

Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.

python ast clang control-flow-graph control-flow-analysis static-analyzer cfg

Updated Jan 28, 2018
Python

decomp / doc

Star

Design documents related to the decompilation pipeline.

llvm decompiler control-flow-analysis decompilation llvm-ir decompilation-pipeline type-analysis

Updated May 20, 2020
TeX

Aurore54F / JStap

Star

Modular static malicious JavaScript detection system

javascript static-analysis python3 classification control-flow-analysis lexical-analysis data-flow-analysis syntactic-analysis malware-detection

Updated Feb 2, 2020
Python

edgardozoppi / analysis-net

Star

Static analysis framework for .NET programs.

c-sharp api library framework bytecode backend analysis static-code-analysis visual-basic dotnet static-analysis ssa control-flow-analysis cil net-framework data-flow-analysis static-single-assignment three-address-code points-to-analysis call-graph-analysis

Updated Aug 6, 2020
C#

Aurore54F / HideNoSeek

Star

Static data flow-based analysis of JavaScript files to detect syntactic clones

javascript static-analysis control-flow-analysis data-flow-analysis

Updated Mar 30, 2020
Python

grin-compiler / souffle-cfa-optimization-experiment

Star

Optimization attempt of the Lambda Control Flow Analysis (STG like language)

haskell functional-programming cfa static-analysis datalog control-flow-analysis lazy-evaluation closures stg souffle

Updated May 21, 2020
HTML

fiigii / JsCFA-prototype

Star

Abstract Interpreter for JavaScript with perfect call/return matching.

javascript scala control-flow-analysis type-inference abstract-interpretation

Updated Jun 1, 2019
Scala

vanhauser-thc / drcfg

Star

Dynamic Control Flow Recovery

instrumentation control-flow-graph control-flow-analysis dynamorio binary-instrument

Updated Apr 10, 2018
C++

wenkokke / FunFlow

Star

an implementation of control-flow analysis of a simple functional programming language.

functional-programming homework control-flow-analysis unit-of-measure measure-analysis

Updated Oct 8, 2018
Haskell

fiigii / Master-Thesis

Star

My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis

javascript scala static-analysis control-flow-analysis

Updated Jul 31, 2016
TeX

KareemErgawy / ibn-khaldun

Star

A library of compiler optimization algorithms. This is a project in which I learn about and practice writing optimizing compilers. Ibn-Khaldun is a famous Muslim scholar with significant contributions to economics.

compiler optimization control-flow-analysis

Updated Feb 6, 2017
C

Improve this page

Add a description, image, and links to the control-flow-analysis topic page so that developers can more easily learn about it.

Curate this topic

Add this topic to your repo

To associate your repository with the control-flow-analysis topic, visit your repo's landing page and select "manage topics."

Learn more