control-flow-analysis
There are 5 repositories under control-flow-analysis topic.
facebook / pyre-check
Performant type-checking for python.
Language:OCaml 7107- Language:Python 544
- octopus
FuzzingLabs / octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
Language:Python 488 danielplohmann / smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
Language:Python 250- Language:C# 240
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
Language:C 156extremecoders-re / bytecode_simplifier
A generic deobfuscator for PjOrion obfuscated python scripts
Language:Python 122- Language:Python 73
shramos / pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Language:Python 56ilyasergey / 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 30- Language:TeX 29
edgardozoppi / analysis-net
Static analysis framework for .NET programs.
Language:C# 28Aurore54F / HideNoSeek
Static data flow-based analysis of JavaScript files to detect syntactic clones
Language:Python 23zhaosiying12138 / PDG_demo
A toy implementation about Program Dependence Graph using LLVM
Language:C++ 13fiigii / JsCFA-prototype
Abstract Interpreter for JavaScript with perfect call/return matching.
Language:Scala 9goelayu / Sprinter
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
Language:JavaScript 8grin-compiler / souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
Language:HTML 8- Language:C++ 7
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 5vanhauser-thc / drcfg
Dynamic Control Flow Recovery
Language:C++ 4- 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 2CedaryCat / OTAPI.UnifiedServerProcess
An open-terraria-api patcher that enables running multiple server instances within a single process
Language:C# 1Code-forlife / SPCC-Practicals
This repo offers 10 labs to learn compiler design, covering lexers, parsers, code generation, and more
Language:C 1ergawy / 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 1SwathiSBhat / Static-program-analysis-techniques
Implementation of different forms of static program analysis techniques
Language:C++ 0- Language:Rust
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).
Language:OCaml
