A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Dipartimento di Informatica, Universit`a degli Studi di Verona, Strada Le Grazie 15, 37134 Verona, Italy
In Static Analysis , Vol. 4634 (2007), pp. 315-332.
We propose an efficient implementation of the Octagon Abstract Domain (OAD) on Graphics Processing Unit (GPU) by exploiting stream processing to speed-up OAD computations. OAD is a relational numerical abstract domain which approximates invariants as conjunctions of constraints of the form
November 4, 2010 by hgpu
