Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
-
Updated
Jun 19, 2018 - TeX
Abstraktsete domeenide omaduspõhine testimine (Property-based Testing of Abstract Domains)
Static code analyzer checking for variable dependencies between modules
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
A framework for data-flow analysis of a simple imperative programming language.
Extend GCC's GDFA Architecture to Non-separable Framwork
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
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
Fixing data-flow problems in expression trees
Node.js application that consumes T.EX-exported HTTP/S requests and responses and generated a graph representation, which models data flows among hosts.
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.
The project of PKU compiler class. Predict the range of value given SSA code.
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
Static data flow-based analysis of JavaScript files to detect syntactic clones
You might not need your garbage collector
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."