control-flow-analysis topic
awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
pyre-check
Performant type-checking for python.
octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
beaengine
BeaEngine disasm project
smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Control-Flow-Integrity
A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber
Echo
Generic static analysis framework.
bytecode_simplifier
A generic deobfuscator for PjOrion obfuscated python scripts
analysis-net
Static analysis framework for .NET programs.