A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware

Francesco Banterle, Roberto Giacobazzi
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.


   title={A fast implementation of the octagon abstract domain on graphics hardware},

   author={Banterle, F. and Giacobazzi, R.},

   journal={Static Analysis},





Download Download (PDF)   View View   Source Source   



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
No votes yet.
Please wait...

* * *

* * *

* * *

HGPU group © 2010-2022 hgpu.org

All rights belong to the respective authors

Contact us: