abstract-domain-library
// Library of abstract domains for static analysis and abstract interpretation
$ git log --oneline --stat
stars:384
forks:73
updated:March 4, 2026
SKILL.mdreadonly
SKILL.md Frontmatter
nameabstract-domain-library
descriptionLibrary of abstract domains for static analysis and abstract interpretation
allowed-toolsBash,Read,Write,Edit,Glob,Grep
metadata[object Object]
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
- Domain Selection: Choose appropriate abstract domain
- Operations: Implement domain operations
- Widening: Design widening for termination
- Precision Tuning: Balance precision and efficiency
- Combination: Combine domains for precision
Tools/Libraries
- Apron
- ELINA
- Crab
- Frama-C