1 paper · 1 filter
Aziem Chawdhary, Ed Robbins, Andy King
The octagon abstract domain is a widely used numeric abstract domain expressing relational information between variables whilst being both computationally efficient and simple to i…