agentsclimarketplace
Sign in

Abstract domain library

Skill a5c-ai/babysitter/library/specializations/domains/science/computer-science/skills/abstract-domain-library

Library of abstract domains for static analysis and abstract interpretationFrom its SKILL.md

Install
npx -y skills add a5c-ai/babysitter --skill abstract-domain-library

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

SKILL.md

1.3 KB, 142 tokens by cl100k_base, as published. Nobody here has run it

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

What ships with it

Read from the repository

Just SKILL.md. No reference files, no scripts.

Keep looking

Skills are one crate of 325,949. 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.