Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
-
Updated
Jul 18, 2022 - C++
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
A LLVM-based static analysis framework.
BeaEngine disasm project
Binary Analysis Framework in Rust
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
Generic static analysis framework.
Yet another crippled decompiler project
Static analysis framework for .NET programs.
Modular static malicious JavaScript detection system
Creating Data Flow Graphs from java input classes
You might not need your garbage collector
Static data flow-based analysis of JavaScript files to detect syntactic clones
Partial Redundancy Elimination Pass in LLVM
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
Software Security Analysis Course
The project of PKU compiler class. Predict the range of value given SSA code.
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
Add a description, image, and links to the data-flow-analysis topic page so that developers can more easily learn about it.
To associate your repository with the data-flow-analysis topic, visit your repo's landing page and select "manage topics."