Silva, Bruno. " Detecção Estática e Consistente de Potenciais Estouros de Arranjos." Proceedings of the 14th Brazilian Symposium on Information and Computational Systems Security, Belo Horizonte, 2014. SBC, 2014, pp.314-317.