Silva, Bruno. " Detecção Estática e Consistente de Potenciais Estouros de Arranjos" Anais do Simpósio Brasileiro de Segurança da Informação e de Sistemas Computacionais (SBSeg) [Online], (3 novembro 2014)