AbstractDomains

AbstractDomains.jl is a Julia package for representing and computing with sets of valuess. It's useful for static analysis, bug checking, and inference.