Prompt
Specify a webhook-driven task for OpenClaw
Describe event inputs, validation, deduplication, and intended actions before integration work.
OpenClawDevelopment & Engineering
Dave AI
Data Flow Analysis Framework
Design and implement data-flow analyses for compiler optimization
instructions.md
--- name: data-flow-analysis-framework-83f37409d88a description: Design and implement data-flow analyses for compiler optimization allowed-tools: - Bash - Read - Write - Edit - Glob - Grep metadata: specialization: computer-science domain: science category: compiler-optimization phase: 6 graph: domains: [domain:computer-science] specializations: [specialization:theoretical-computer-science] skillAreas: [skill-area:compiler-implementation, skill-area:language-design, skill-area:graph-algorithms] workflows: [workflow:research-grant-lifecycle] roles: [role:research-engineer, role:computational-scientist] --- # 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--- name: data-flow-analysis-framework-83f37409d88a description: Design and implement data-flow analyses for compiler optimization allowed-tools: - Bash - Read - Write - Edit - Glob - Grep metadata: specialization: computer-science domain: science category: compiler-optimization phase: 6 graph: domains: [domain:computer-science] specializations: [specialization:theoretical-computer-science] skillAreas: [skill-area:compiler-implementation, skill-area:language-design, skill-area:graph-algorithms] workflows: [workflow:research-grant-lifecycle] roles: [role:research-engineer, role:computational-scientist] --- # 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
Platform guidance
Imported from the listed AgentSkill.sh category. Complete supplied package files and notices are retained. Required external tools and credentials are not installed. No bundled code was executed during import. Individual agent task behavior has not been tested.