name: abstract-domain-library description: Library of abstract domains for static analysis and abstract interpretation allowed-tools:
- Bash
- Read
- Write
- Edit
- Glob
- Grep metadata: specialization: computer-science domain: science category: formal-verification phase: 6
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