The octagon abstract domain (2001)

by Antoine Miné
Venue:In Proceedings of the Eighth Working Conference on Reverse Engineering (WCRE’01), WCRE ’01