Silva, G., & Pereira, F. (2011). Static Detection of Address Leaks. In Proceedings of the 11th Brazilian Symposium on Information and Computational Systems Security, (pp. 225-238). Porto Alegre: SBC. doi:10.5753/sbseg.2011.20575