Gabriel Silva and Fernando Pereira. 2011. Static Detection of Address Leaks. In Anais do XI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais, novembro 06, 2011, Brasília, Brasil. SBC, Porto Alegre, Brasil, 225-238. DOI: https://doi.org/10.5753/sbseg.2011.20575.