control-flow-analysis
There are 29 repositories under control-flow-analysis topic.
facebook/pyre-check
Performant type-checking for python.
BeaEngine/beaengine
BeaEngine disasm project
FuzzingLabs/octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
danielplohmann/smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Washi1337/Echo
Generic static analysis framework.
pfalcon/awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
nsacyber/Control-Flow-Integrity
A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber
extremecoders-re/bytecode_simplifier
A generic deobfuscator for PjOrion obfuscated python scripts
Aurore54F/JStap
Modular static malicious JavaScript detection system
shramos/pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
ilyasergey/reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
decomp/doc
Design documents related to the decompilation pipeline.
edgardozoppi/analysis-net
Static analysis framework for .NET programs.
Aurore54F/HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
zhaosiying12138/PDG_demo
A toy implementation about Program Dependence Graph using LLVM
fiigii/JsCFA-prototype
Abstract Interpreter for JavaScript with perfect call/return matching.
goelayu/Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
unpackdev/solgo
Solidity parser in Go, designed to transform Solidity code into a structured format for enhanced analysis, particularly beneficial for developers using Go to analyze Solidity smart contracts.
vanhauser-thc/drcfg
Dynamic Control Flow Recovery
marcoantoniocorallo/Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
wenkokke/FunFlow
an implementation of control-flow analysis of a simple functional programming language.
Code-forlife/SPCC-Practicals
This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more
ergawy/ibn-khaldun
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.
fiigii/Master-Thesis
My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
SwathiSBhat/Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
jamesmth/nosco
Easy process execution tracing
padowla/Language-Based-Technology-For-Security
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).