A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
-
Updated
Dec 25, 2020 - Python
A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
A Symbolic Ethereum Virtual Machine (EVM) bytecode interpreter, parser and decompiler, along with several other utils for programmatically extracting information from EVM bytecode.
Construct the CFG(Control Flow Graph) from intel assembly code
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Creating Data Flow Graphs from java input classes
Create CFGs and compute complexity metrics for Python, C++, and Java code.
An R package for static analysis of R code.
Control-Flow Graph (CFG) Visualizer for VSCode
Origin-sensitive Control Flow Integrity (OS-CFI) - USENIX Security 2019
A control-flow graph builder for Solidity smart contracts.
Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
EVMLiSA: an abstract interpretation-based static analyzer for EVM bytecode
A Survey of Deep Learning Models for Structural Code Understanding
A C compiler written in Kotlin
Modified DexDump to build instruction graph from classes.dex
A static analysis tool for Go that generates control flow graphs and computes cyclomatic complexity
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
Add a description, image, and links to the control-flow-graph topic page so that developers can more easily learn about it.
To associate your repository with the control-flow-graph topic, visit your repo's landing page and select "manage topics."