SILVA, Gabriel Quadros; PEREIRA, Fernando Magno Quintão. Static Detection of Address Leaks. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 11. , 2011, Brasília. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2011 . p. 225-238. DOI: https://doi.org/10.5753/sbseg.2011.20575.