Silva, B. 2014 Nov 3. Detecção Estática e Consistente de Potenciais Estouros de Arranjos. Proceedings of the Brazilian Symposium on Cybersecurity (SBSeg). [Online] :