Symbolic range analysis of pointers.

Vitor Paisante, Maroua Maalej, Leonardo Barbosa e Oliveira, Laure Gonnord, Fernando Magno Quinto Pereira

Browse the full CGO paper archive.