Silva, Gabriel, and Fernando Magno Quintão Pereira.
"Static Detection of Address Leaks." <em>Anais do XI Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais,
Brasília, 2011</em>. SBC, 2011,  
pp.225-238.