A Static Analysis Tool for Detecting Security Vulnerabilities in Python Web Applications
#
control-flow-graph
Repositories 26
SMDA is a minimalist recursive disassembler library that is optimized for accurate Control Flow Graph (CFG) recovery …
Python
Updated Feb 15, 2019
Sample of building control flow graph, SSA form, phi nodes, LLVM IR for imagined language.
C++
Updated Jun 5, 2017
OSX 10.13.2, CVE-2017-5753, Spectre, PoC, C, ASM for OSX, MAC, Intel Arch, Proof of Concept, Hopper.App Output
poc
osx
intel
cpu
debug
hopper-disassembler
debugger-visualizer
control-flow-graph
c
exploit
spectre
security-vulnerability
assembly
Assembly
Updated Jan 6, 2018
An R package for static analysis of R code.
R
Updated Feb 26, 2019
Pyc-cfg is a pure python control flow graph builder for almost all Ansi C programming language.
Python
Updated Jan 28, 2018
A minimal, Turing-complete, Domain-Specific Language; simple text editor with an interpreter, Abstract Syntax Tree an…
control-flow-graph
syntax-tree
grammar
interpreter
language
turing-completeness
abstract-syntax-tree
domain-specific-language
Java
Updated May 5, 2017
A control-flow graph builder for Solidity smart contracts.
solidity
solidity-language
solidity-contracts
control-flow-graph
ethereum-verificaton
solidity-analysis
static-analysis
Haskell
Updated Mar 15, 2019
Modified DexDump to build instruction graph from classes.dex
C++
Updated Mar 1, 2017
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
data-flow-analysis
education
educational
computer-science
compilers
compiler
compiler-optimizations
control-flow-graph
Java
Updated Sep 14, 2017
Automation generate unit test for JavaScript by Jest Framework
unit-testing
jest
generate-unit-test
javascript
test-code
esprima
escodegen
estraverse
instrument
cfg
control-flow-graph
falafel
babel
flow-chart
genetic-algorithm
JavaScript
Updated Feb 11, 2019
AFLFaster (extends AFLFast with a CFG-informed mutation selection engine)
A maven project that generates control flow graphs of methods of given class.
Java
Updated Dec 1, 2016
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
control-flow-graph
data-flow-analysis
static-analysis
static-analyzer
interval-analysis
unreliable-program
C
Updated Mar 18, 2017
Control Flow Graph
Java
Updated Nov 3, 2018
Dynamic Control Flow Recovery
The
Java
Updated Dec 25, 2017
An online brainfuck debugger
Elm
Updated May 19, 2017
GAP
Updated Feb 4, 2018
Correct-by-construction control-flow graphs
Agda
Updated Nov 6, 2017
Analyzer of security features in executable binaries
elf
pe32
pe32-plus
archive
security
executable-formats
aslr
nx
stack-overflow
seh
appcontainer
control-flow-graph
fortify-source
dynamic-loading
Rust
Updated Jan 25, 2019
Java
Updated Nov 18, 2017
Linear Control Programming project, implemented using JavaSE to calculate the overall transfer function given its sig…
Java
Updated May 3, 2018
The Artificial Log Synthesizer package to generate log messages from reference control-flow graphs (also artificially…
Python
Updated Apr 17, 2018
Learn Control Flow Graph on ObjectWeb ASM
Java
Updated Jan 7, 2019
Java
Updated Oct 7, 2018