data-flow-analysis-framework
// Design and implement data-flow analyses for compiler optimization
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
namedata-flow-analysis-framework
descriptionDesign and implement data-flow analyses for compiler optimization
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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
- 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