Silva, Gabriel, and Fernando Magno Quintão Pereira.
" Static Detection of Address Leaks." <em>Proceedings of the 11th Brazilian Symposium on Information and Computational Systems Security,
Brasília, 2011</em>. SBC, 2011,  
pp.225-238.