OpenSkillIndex← back to search
claude-codescience

Babysitter abstract-domain-library

Library of abstract domains for static analysis and abstract interpretation

install
source · Clone the upstream repo
git clone https://github.com/a5c-ai/babysitter
Claude Code · Install into ~/.claude/skills/
T=$(mktemp -d) && git clone --depth=1 https://github.com/a5c-ai/babysitter "$T" && mkdir -p ~/.claude/skills && cp -r "$T/library/specializations/domains/science/computer-science/skills/abstract-domain-library" ~/.claude/skills/a5c-ai-babysitter-abstract-domain-library && rm -rf "$T"
manifest: library/specializations/domains/science/computer-science/skills/abstract-domain-library/SKILL.md
tags
#abstract-interpretation#static-analysis#formal-verification#domain-theory
source content

Abstract Domain Library

Purpose

Provides expert guidance on abstract domains for abstract interpretation-based static analysis.

Capabilities

  • Interval domain
  • Octagon domain
  • Polyhedra domain
  • Congruence domain
  • Domain combination (reduced product)
  • Widening and narrowing operators

Usage Guidelines

  1. Domain Selection: Choose appropriate abstract domain
  2. Operations: Implement domain operations
  3. Widening: Design widening for termination
  4. Precision Tuning: Balance precision and efficiency
  5. Combination: Combine domains for precision

Tools/Libraries

  • Apron
  • ELINA
  • Crab
  • Frama-C