control-flow-analysis

Performant type-checking for python.

BeaEngine disasm project

Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)

SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.

A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber

Generic static analysis framework.

Program Analisys and Transformation survey and links (particular focus on SSA)

A generic deobfuscator for PjOrion obfuscated python scripts

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

Modular static malicious JavaScript detection system

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

Design documents related to the decompilation pipeline.

Static analysis framework for .NET programs.

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

Abstract Interpreter for JavaScript with perfect call/return matching.

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

Dynamic Control Flow Recovery

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

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