Análise estática para limites de arranjos.

Abstract

Arranjos são uma estrutura recorrente em programas de computador, porém seu acesso através de índices indevidos é motivo principal para inúmeras invulnerabilidades e erros. Por isso, este trabalho propõe uma solução, auxiliadora ao desenvolvedor, para tratar este problema através de um algoritmo que roda em tempo de compilação de uma linguagem simples e concisa chamada FonC. Este trabalho teve como objetivo principal a especificação deste algoritmo além de ter se descrito esta linguagem e utilizado-se de um interpretador da mesma para validar o algoritmo verificador de quebra de limites de arranjo. Mostrou-se que nossa abordagem detecta acessos inválidos, sem falsos positivos e sem falsos negativos, sobre parte do código executável em tempo de compilação. Além disso, mostrou-se que a solução apresenta outras características superiores aos trabalhos relacionados.