BOXES: a symbolic abstract domain of boxes
LLVM: a compilation framework for lifelong program analysis & transformation