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
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
Static analysis framework for .NET programs.
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.
This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more
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
Implementation of different forms of static program analysis techniques
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).