Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
-
Updated
Nov 24, 2015 - Scala
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
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.
A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Dynamic Control Flow Recovery
an implementation of control-flow analysis of a simple functional programming language.
Abstract Interpreter for JavaScript with perfect call/return matching.
Static data flow-based analysis of JavaScript files to detect syntactic clones
Design documents related to the decompilation pipeline.
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Static analysis framework for .NET programs.
BeaEngine disasm project
Modular static malicious JavaScript detection system
Program Analisys and Transformation survey and links (particular focus on SSA)
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).
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
A toy implementation about Program Dependence Graph using LLVM
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Add a description, image, and links to the control-flow-analysis topic page so that developers can more easily learn about it.
To associate your repository with the control-flow-analysis topic, visit your repo's landing page and select "manage topics."