BOXES: a symbolic abstract domain of boxes
Abstract interpretation frameworks