Gabriel Silva and Fernando Pereira. 2011. Static Detection of Address Leaks. In Proceedings of the 11th Brazilian Symposium on Information and Computational Systems Security, November 06, 2011, Brasília, Brasil. SBC, Porto Alegre, Brasil, 225-238. DOI: https://doi.org/10.5753/sbseg.2011.20575.