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)
This repository features an LLVM optimization pass for inter-procedural, context-insensitive, and flow-sensitive constant propagation that analyses and substitutes constant values across function boundaries. Key features include handling diverse data types and operations, and transforming variables and function arguments to constants.
This repository contains a collection of LLVM passes developed for LLVM v17.x. These passes are tailored to enhance the understanding and skills in compiler construction and optimization, especially in the context of both general-purpose and embedded systems programming.
Node.js application that consumes T.EX-exported HTTP/S requests and responses and generated a graph representation, which models data flows among hosts.
Static code analyzer checking for variable dependencies between modules
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
Extend GCC's GDFA Architecture to Non-separable Framwork
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
Another program analyzer, that performs static Value and Interval analysis of C like UNRELIABLE programs
The project of PKU compiler class. Predict the range of value given SSA code.
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
A framework for data-flow analysis of a simple imperative programming language.
Fixing data-flow problems in expression trees
Partial Redundancy Elimination Pass in LLVM
VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
Static data flow-based analysis of JavaScript files to detect syntactic clones
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."