Data Flow Analysis Framework

SkillMedia

Design and implement data-flow analyses for compiler optimization

Instructions available. Your AI can read the instructions. Execution depends on the setup they require.

Account requirements not reviewed. Check the skill instructions before use; ahel provides instructions and does not run this skill.

Add ahel to your AI once: Claude, ChatGPT, Cursor, Claude Code or Codex. Then ask it to use this.

Then ask your AI: use the Data Flow Analysis Framework skill

What this skill tells your AI

The instructions your AI receives, as published by a5c-ai/babysitter in library/specializations/domains/science/computer-science/skills/data-flow-analysis-framework/SKILL.md and read by ahel’s review.

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

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

Tools/Libraries

LLVM
GCC internals
Soot
WALA

Signals

GitHub stars: 2k
Forks: 112
Last commit: Sep 2026

Advanced

Item type: skill
Key: data-flow-analysis-framework
Source: github.com/a5c-ai/babysitter

github.com/a5c-ai/babysitter