Silva, Gabriel, E Pereira, Fernando. " Static Detection of Address Leaks" Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg) [Online], (6 novembro 2011)