Agent-Skills.md

Agent Skills: Abstract Domain Library

Library of abstract domains for static analysis and abstract interpretation

formal-verificationID: a5c-ai/babysitter/abstract-domain-library

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/abstract-domain-library

Skill Files

Browse the full folder contents for abstract-domain-library.

Download Skill

Loading file tree…

plugins/babysitter/skills/babysit/process/specializations/domains/science/computer-science/skills/abstract-domain-library/SKILL.md

Skill Metadata

Name
abstract-domain-library
Description
Library of abstract domains for static analysis and abstract interpretation

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