Projects in Awesome Lists tagged with control-flow-analysis
A curated list of projects in awesome lists tagged with control-flow-analysis .
https://github.com/facebook/pyre-check
Performant type-checking for python.
abstract-interpretation code-quality control-flow-analysis ocaml program-analysis python security static-analysis taint-analysis type-check typechecker
Last synced: 12 May 2025
https://github.com/beaengine/beaengine
BeaEngine disasm project
c99 control-flow-analysis data-flow-analysis disassembler intel library reverse-engineering x86-64
Last synced: 05 Apr 2025
https://github.com/FuzzingLabs/octopus
Security Analysis tool for WebAssembly module (wasm) and Blockchain Smart Contracts (BTC/ETH/NEO/EOS)
blockchain call-flow-analysis control-flow-analysis disassembler eos ethereum evm-bytecode neo security security-analysis smart-contracts wasm webassembly
Last synced: 18 Apr 2025
https://github.com/danielplohmann/smda
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
code-analysis control-flow-analysis control-flow-graph disassembler memory-dump x64 x86
Last synced: 21 Jun 2025
https://github.com/washi1337/echo
Generic static analysis framework.
bytecode cil code-analysis control-flow-analysis data-flow-analysis emulation x86
Last synced: 12 Apr 2025
https://github.com/shramos/pyc-cfg
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
ast cfg clang control-flow-analysis control-flow-graph python static-analyzer
Last synced: 31 Jul 2025
https://github.com/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
abstract-garbage-collection control-flow-analysis k-cfa pushdown-automaton scheme
Last synced: 05 Oct 2025
https://github.com/decomp/doc
Design documents related to the decompilation pipeline.
control-flow-analysis decompilation decompilation-pipeline decompiler llvm llvm-ir type-analysis
Last synced: 14 Apr 2025
https://github.com/grin-compiler/souffle-cfa-optimization-experiment
Optimization attempt of the Lambda Control Flow Analysis (STG like language)
cfa closures control-flow-analysis datalog functional-programming haskell lazy-evaluation souffle static-analysis stg
Last synced: 08 Apr 2025
https://github.com/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.
abi abstract-syntax-tree arbitrum binance-smart-chain bytecode-interpreter control-flow-analysis decompiler ethereum golang intermediate-representation optimism program-analysis smt solidity solidity-compiler solidity-contracts static-analysis syntatic-analysis syntax-analysis vulnerability-detection
Last synced: 24 Oct 2025
