Here are
21 public repositories
matching this topic...
Performant type-checking for python.
Updated
Apr 8, 2022
OCaml
Updated
Dec 17, 2020
Python
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Updated
Feb 8, 2022
Python
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Updated
Mar 22, 2022
Python
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
Updated
Jun 30, 2021
Python
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Updated
Jan 28, 2018
Python
Modular static malicious JavaScript detection system
Updated
Jan 18, 2021
Python
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
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
Updated
Mar 30, 2020
Python
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Updated
May 21, 2020
HTML
Dynamic Control Flow Recovery
an implementation of control-flow analysis of a simple functional programming language.
Updated
Oct 8, 2018
Haskell
My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
simple CFA(Control Flow Analysis) implementation, UCAS compiler assignment 3
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).
Updated
Jun 11, 2021
OCaml
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.
Improve this page
Add a description, image, and links to the
control-flow-analysis
topic page so that developers can more easily learn about it.
Curate this topic
Add this topic to your repo
To associate your repository with the
control-flow-analysis
topic, visit your repo's landing page and select "manage topics."
Learn more
You can’t perform that action at this time.
You signed in with another tab or window. Reload to refresh your session.
You signed out in another tab or window. Reload to refresh your session.
Below a list of all opcodes currently supported by the CIL emulator of Echo's AsmResolver back-end.
Miscellaneous:
Variables and arguments: