SANTOS, Henrique Nazaré; PEREIRA, Fernando Magno Quintão; OLIVEIRA, Leonardo Barbosa. Verificação Estática de Acessos a Arranjos em C. In: SIMPÓSIO BRASILEIRO DE SEGURANÇA DA INFORMAÇÃO E DE SISTEMAS COMPUTACIONAIS (SBSEG), 13. , 2013, Manaus. Anais [...]. Porto Alegre: Sociedade Brasileira de Computação, 2013 . p. 198-211. DOI: https://doi.org/10.5753/sbseg.2013.19546.