Download
https://hgpu.org/?p=1162
A Fast Implementation of the Octagon Abstract Domain on Graphics Hardware
Share