Análise estática de vulnerabilidades em software sob múltiplas abordagens

Abstract

O uso de softwares torna-se, nos dias atuais, cada vez mais presente e necessário. Sejam em instituições privadas, governamentais ou não governamentais, a presença de sistemas que gerenciem dados, transações, produtos e processos, torna critico o modo como a segurança desses sistemas e tratada. A presença de vulnerabilidades, por sua vez, podem permitir a ocorrência de falhas de segurança, comportamentos inesperados ou mesmo falhas totais de grande impacto financeiro, intelectual e ate relacionados a vida humana. Uma abordagem sistemática e eficiente na correção e tratamento de vulnerabilidades possibilita que boa parte dessas sejam evitadas, solucionadas ou mitigadas. O presente trabalho analisa o comportamento de ferramentas que implementam diversos métodos de analise estática de vulnerabilidades. Restringe-se este trabalho a analise de vulnerabilidades relacionadas a buffer overflow. Para isso, e feito um levantamento das principais características que definem um buffer overflow, das técnicas de analise estática mais conhecidas para detecção dessas vulnerabilidades e de ferramentas que as implementam. Objetiva-se, com isso, analisar o potencial de cada ferramenta para cada característica de um buffer overflow analisada.