Agent-Skills.md

Agent Skills: Data Flow Analysis Framework

Design and implement data-flow analyses for compiler optimization

compiler-optimizationID: a5c-ai/babysitter/data-flow-analysis-framework

Repository

a5c-ai/babysitter
a5c-aiLicense: MIT
244

Install this agent skill to your local

pnpm dlx add-skill https://github.com/a5c-ai/babysitter/tree/HEAD/plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/data-flow-analysis-framework

Skill Files

Browse the full folder contents for data-flow-analysis-framework.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/data-flow-analysis-framework/SKILL.md

Skill Metadata

Name
data-flow-analysis-framework
Description
Design and implement data-flow analyses for compiler optimization

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