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
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.
A framework for data-flow analysis of a simple imperative programming language.
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
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.
Extend GCC's GDFA Architecture to Non-separable Framwork
Data flow analysis for x86-64 ELF binaries based on symbolic execution. 🔎
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
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.
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
jdataflow is a Z3 solver based data-flow analyzer for Java source code.
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
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.
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."