agentsclimarketplace

Data flow analysis framework

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/data-flow-analysis-framework

Babysitter enforces obedience on agentic workforces and enables them to manage extremely complex tasks and workflows through deterministic, hallucination-free self-orchestration

Install
npx -y skills add a5c-ai/babysitter --skill data-flow-analysis-framework

Assembled from the repository path, not quoted from the project. Check it against their README if it does not work.

What its author says it does

Copied from the file, not written here

Design and implement data-flow analyses for compiler optimization

SKILL.md

1.4 KB, as published. Nobody here has run it

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

Keep looking

Skills are one crate of 328,083. Ordering is by how many stacks a row turns up in, so the top of any crate is what has actually been picked rather than what has the most stars.