Dissertação
Towards Automated Checking of Input Data Usage with Facebook Infer EVALUATED
Em aplicações modernas e com uso intensivo de dados, o uso e modificação de dados de entrada é muito frequente. Durante as várias transformações que os dados sofrem, partes podem permanecer inutilizadas devido a erros de programação. Estes erros podem ser difíceis de detetar e localizar dado o elevado número de transformações de dados, podendo ter consequências na vida real. Neste projeto propomos a implementação de uma análise recente proposta por Urban e Muller na forma de uma análise no Facebook Infer, um popular analisador de programas estático para Java, C, C++ e Objective C. Demonstramos que o nosso protótipo deteta com eficácia erros de utilização de dados de entrada no mesmo benchmark usado no trabalho relacionado.
janeiro 28, 2021, 18:0
Publicação
Obra sujeita a Direitos de Autor
Orientação
ORIENTADOR
João Fernando Peixoto Ferreira
Departamento de Engenharia Informática (DEI)
Professor Auxiliar
ORIENTADOR
Rui Filipe Lima Maranhão de Abreu
Departamento de Engenharia Informática (DEI)
Professor Associado