1 paper
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…