Generic static analysis framework.
-
Updated
Aug 23, 2024 - C#
Generic static analysis framework.
Software Security Analysis Course
A LLVM-based static analysis framework.
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.
Creating Data Flow Graphs from java input classes
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.
Binary Analysis Framework in Rust
Neural Data-Flow Analysis: A tool for solving program-related tasks which involve data-flow analysis using deep neural networks
A web crawler that leverages compute memoization techniques to enable lightning fast crawling of pages without sacrificing fidelity
GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.
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
An IDA Python plugin for CFG generation and data flow analysis on x86 binaries
Angora is a mutation-based fuzzer. The main goal of Angora is to increase branch coverage by solving path constraints without symbolic execution.
Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.
Yet another crippled decompiler project
Modular static malicious JavaScript detection system
Fixing data-flow problems in expression trees
BeaEngine disasm project
Static analysis framework for .NET 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."