GitHub repository: GoodDeeds/interval-domain-abstract-interpreter
Primary language: C++
Description: (Work in progress) An abstract interpreter for an integer interval domain supporting basic operations