data-flow-analysis 开源项目推荐（56 个）

grin-compiler /grin

GRIN is a compiler back-end for lazy and strict functional languages with whole program optimization support.

secure-software-engineering /phasar

A LLVM-based static analysis framework.

AngoraFuzzer /Angora

安哥拉是一种基于突变的毛圈。 安哥拉的主要目标是通过解决路径约束而不进行符号执行来增加分支覆盖率。

falconre /falcon

Binary Analysis Framework in Rust

BeaEngine /beaengine

BeaEngine disasm project

cofibrant /micro-mitten

You might not need your garbage collector

Washi1337 /Echo

Generic static analysis framework.

pfalcon /ScratchABlock

Yet another crippled decompiler project

SVF-tools /Software-Security-Analysis

Static Analysis Course

Aurore54F /JStap

Modular static malicious JavaScript detection system

Karansingh1999 /PIIFlow

Policy-aware static taint analysis for detecting sensitive-data flows into LLM APIs.

daanvdh /JavaDataFlow

Creating Data Flow Graphs from java input classes

edgardozoppi /analysis-net

Static analysis framework for .NET programs.

gromhacks /bonsai-ninja

🥷 Give your codebase a black belt. Local code intelligence, security analysis, and compiler-backed facts for humans and AI.

Aurore54F /HideNoSeek

Static data flow-based analysis of JavaScript files to detect syntactic clones

Learner0x5a /DataFlowAnalysis-miasm

Generate data-flow graph and def-use graph for a function based on miasm and IDA Pro.

BrokkAi /bifrost

Multi-language static analysis for agents, editors, and large repositories.

sdasgup3 /partial-redundancy-elimination

Partial Redundancy Elimination Pass in LLVM

owasp-dep-scan /dosai

Dotnet Source and Assembly Inspector (Dosai) is a tool to list details about the namespaces and methods from sources and assemblies.

patrick-petrovic /visualDFA

VisualDFA is a sophisticated educational tool for interactively visualizing data-flow analyses using Java/Jimple.