#
control-flow-graph
Here are 40 public repositories matching this topic...
Ethereum solidity graph plain debugger. To have the whole picture when debugging.
debugger
bytecode
ethereum
blockchain
transaction
trace
control-flow-graph
debug
solidity
ethereum-contract
solidity-language
ethereum-debugger
solidity-debug
solidity-debugging
ethereum-debug
ethereum-debugging
ethereum-graph-debugger
-
Updated
Jan 29, 2020 - TypeScript
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery from memory dumps.
-
Updated
Sep 7, 2020 - Python
An R package for static analysis of R code.
-
Updated
Jan 13, 2020 - R
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
-
Updated
Jan 28, 2018 - Python
Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
-
Updated
Jun 5, 2017 - C++
OSX 10.13.2, CVE-2017-5753, Spectre, PoC, C, ASM for OSX, MAC, Intel Arch, Proof of Concept, Hopper.App Output
c
cpu
osx
exploit
assembly
intel
control-flow-graph
debugger-visualizer
debug
poc
hopper-disassembler
security-vulnerability
spectre
-
Updated
Jan 6, 2018 - Assembly
Modified DexDump to build instruction graph from classes.dex
-
Updated
Mar 1, 2017 - C++
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree and reduced Control Flow Graph graphical generator.
language
interpreter
grammar
syntax-tree
control-flow-graph
domain-specific-language
abstract-syntax-tree
turing-completeness
-
Updated
May 5, 2017 - Java
A control-flow graph builder for Solidity smart contracts.
static-analysis
control-flow-graph
solidity
solidity-contracts
solidity-language
ethereum-verificaton
solidity-analysis
-
Updated
Dec 4, 2019 - Haskell
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
computer-science
education
compiler
control-flow-graph
educational
compilers
compiler-optimizations
data-flow-analysis
-
Updated
Sep 14, 2017 - Java
A (branching) Behaviour Synthesiser -- Simulates the generation of application or process logs, where multiple modules (or processes) can execute simultaneously, in a distributed deployment, and dump the log messages in an interleaved manner in a single log file.
log-analysis
python3
control-flow-graph
data-generation
gitflow-workflow
log-generator
labelled-data
-
Updated
Oct 25, 2019 - Python
A C compiler written in Kotlin
-
Updated
Aug 26, 2020 - Kotlin
Creating Data Flow Graphs from java input classes
-
Updated
Dec 24, 2019 - Java
Analyzer of security features in executable binaries
security
pe32
pe32-plus
archive
control-flow-graph
stack-overflow
elf
aslr
nx
seh
executable-formats
dynamic-loading
appcontainer
fortify-source
-
Updated
Apr 27, 2020 - Rust
Create CFGs and compute complexity metrics for Python, C++, and Java code.
-
Updated
Sep 16, 2020 - C
Automation generate unit test for JavaScript by Jest Framework
javascript
unit-testing
babel
jest
genetic-algorithm
instrument
control-flow-graph
esprima
escodegen
cfg
estraverse
test-code
flow-chart
generate-unit-test
falafel
-
Updated
Jan 28, 2020 - JavaScript
Construct the CFG(Control Flow Graph) from intel assembly code
-
Updated
Feb 6, 2020 - Go
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
static-analysis
control-flow-graph
interval-analysis
static-analyzer
data-flow-analysis
unreliable-program
-
Updated
Mar 18, 2017 - C
Solidity Static Analysis
-
Updated
Oct 15, 2019 - Rust
Dynamic Control Flow Recovery
-
Updated
Apr 10, 2018 - C++
AFLFaster (extends AFLFast with a CFG-informed mutation selection engine)
-
Updated
May 11, 2017 - C
C parser written in Ruby, for experimental purpose
-
Updated
May 19, 2020 - Ruby
Learn Control Flow Graph on ObjectWeb ASM
-
Updated
Aug 10, 2020 - Java
A GUI written in Java 8 + Swing; Comes with a basic text editor, ability to select optimizations, generate and view CFG, dominator trees and post-dominator trees, and more!
-
Updated
May 4, 2019 - Java
A control flow graph generator is a static program analysis tool, which generates a control flow graph when given a single Python program.
-
Updated
Aug 24, 2020 - Python
Correct-by-construction control-flow graphs
-
Updated
Nov 6, 2017 - Agda
Improve this page
Add a description, image, and links to the control-flow-graph topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the control-flow-graph topic, visit your repo's landing page and select "manage topics."
I wrote some of the code to do this in a branch https://github.com/python-security/pyt/compare/class_based_views, but since I'm working on other things and this feature seems cool and important I'm making this issue👍
Let me know if you would like any help in implementing.