# Data Flow Analysis Framework

> Design and implement data-flow analyses for compiler optimization

- Skill: `a5c-ai/data-flow-analysis-framework` (Agent Skill)
- Install (CLI): `npx skillmds@latest add a5c-ai/data-flow-analysis-framework`
- Raw SKILL.md: https://api.skillmd.com/api/skills/a5c-ai/data-flow-analysis-framework/raw
- Safety review: pending (external: skill-scanner PASS, skillspector PASS)
- Works with: Claude Code, Claude.ai, OpenAI Codex
- Category: Coding & Dev Tools
- Author: a5c-ai (https://skillmd.com/u/a5c-ai)
- Updated: 2026-09-09
- Page: https://skillmd.com/skills/a5c-ai/data-flow-analysis-framework

---


# Data Flow Analysis Framework

## Purpose

Provides expert guidance on designing and implementing data-flow analyses for compiler optimization and program analysis.

## Capabilities

- Forward/backward analysis specification
- Lattice definition and verification
- Transfer function generation
- Fixpoint computation (worklist algorithm)
- Analysis soundness verification
- Interprocedural analysis

## Usage Guidelines

1. **Lattice Design**: Define abstract domain and lattice
2. **Transfer Functions**: Define transfer functions for statements
3. **Analysis Direction**: Specify forward or backward
4. **Fixpoint**: Implement worklist algorithm
5. **Verification**: Verify soundness of analysis

## Tools/Libraries

- LLVM
- GCC internals
- Soot
- WALA