Extend GCC's GDFA Architecture to Non-separable Framwork
-
Updated
Dec 16, 2016 - Turing
Extend GCC's GDFA Architecture to Non-separable Framwork
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
The project of PKU compiler class. Predict the range of value given SSA code.
A framework for data-flow analysis of a simple imperative programming language.
Partial Redundancy Elimination Pass in LLVM
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Static data flow-based analysis of JavaScript files to detect syntactic clones
You might not need your garbage collector
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
Static analysis framework for .NET programs.
BeaEngine disasm project
Fixing data-flow problems in expression trees
Modular static malicious JavaScript detection system
Yet another crippled decompiler project
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
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."