G. Silva and F. Pereira. "Static Detection of Address Leaks", in Anais do XI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, Brasília, 2011, pp. 225-238, doi: https://doi.org/10.5753/sbseg.2011.20575.