Silva, B. 2014 nov 3. 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] :