There are 5 repositories under control-flow-analysis topic.
Performant type-checking for python.
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
Program Analisys and Transformation survey and links (particular focus on SSA)
A generic deobfuscator for PjOrion obfuscated python scripts
Static analysis framework for .NET programs.
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
Static data flow-based analysis of JavaScript files to detect syntactic clones
A toy implementation about Program Dependence Graph using LLVM
Abstract Interpreter for JavaScript with perfect call/return matching.
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Dynamic Control Flow Recovery
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
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.
My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more
Repository containing the didactic material and three projects of Prof. Gian-Luigi Ferrari and Prof.ssa Chiara Bodei for the exam of Language Based Technology for Security of the Cybersecurity LM-66 Faculty 2020/2021 (University of Pisa).
Implementation of different forms of static program analysis techniques