A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware