Software Development
Abstract Domain Library
Library of abstract domains for static analysis and abstract interpretation
- Publisher / source
- a5c-ai/babysitter (found on GitHub top repositories)
- Upstream record
- a5c-ai/babysitter
- Version
- Version 1
- Published
- Publication review
- Approved for publication · recorded passed scan 2026-11-07
- Content fingerprint
c754cf678139c3feab14374b585a2691006e2ebc9841b1187e073510d75d3f76