Dissertação
{en_GB=Towards Automated Checking of Input Data Usage with Facebook Infer} {} EVALUATED
{pt=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., en=In modern, data-intensive applications the use and modification of input data is very frequent. During the various transformations that the data suffers, parts can remain unused due to programming errors. These errors can be hard to detect and locate due to the high amount of data transformations, and can have real-life consequences. In this project we propose the implementation of a recent analysis proposed by Urban and Muller as an analysis for Facebook Infer, a popular static program analyser for Java, C, C++ and Objective C. We show that our prototype can effectively identify input data usage errors in the same benchmark used by related work.}
Janeiro 28, 2021, 18:0
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