control-flow-analysis
There are 5 repositories under control-flow-analysis topic.
facebook / pyre-check
Performant type-checking for python.
Language:OCaml 6704- Language:Python 503
- octopus
FuzzingLabs / octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Language:Python 481 danielplohmann / smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Language:Python 215- Language:C# 188
nsacyber / Control-Flow-Integrity
A proposed hardware-based method for stopping known memory corruption exploitation techniques. #nsacyber
Language:C 151pfalcon / awesome-program-analysis
Program Analisys and Transformation survey and links (particular focus on SSA)
extremecoders-re / bytecode_simplifier
A generic deobfuscator for PjOrion obfuscated python scripts
Language:Python 96- Language:Python 56
shramos / pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Language:Python 50ilyasergey / reachability
Experimental implementation of k-CFA and Pushdown k-CFA with optional Abstract Garbage Collection for LambdaJS and a subset of Scheme programming language
Language:Scala 30edgardozoppi / analysis-net
Static analysis framework for .NET programs.
Language:C# 27- Language:TeX 25
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.
Language:Go 21Aurore54F / HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
Language:Python 20zhaosiying12138 / PDG_demo
A toy implementation about Program Dependence Graph using LLVM
Language:C++ 10fiigii / JsCFA-prototype
Abstract Interpreter for JavaScript with perfect call/return matching.
Language:Scala 9grin-compiler / souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Language:HTML 7- Language:C++ 6
vanhauser-thc / drcfg
Dynamic Control Flow Recovery
Language:C++ 3goelayu / Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
Language:JavaScript 2- Fhree
marcoantoniocorallo / Fhree
Fhree is a small strongly typed functional language, it is interpreted and it implements the big-step operational semantics.
Language:OCaml 2 wenkokke / FunFlow
an implementation of control-flow analysis of a simple functional programming language.
Language:Haskell 2ergawy / 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.
Language:C 1My Master Thesis: h-CFA A Simplified Approach for Pushdown Control Flow Analysis
Language:TeX 1Code-forlife / SPCC-Practicals
This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more
Language:Cpadowla / 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).
Language:OCamlSwathiSBhat / Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
Language:C++
