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.}
{pt=Uso de Dados, Análise Estática, Interpretação Abstrata, Fiabilidade de Software, en=Data Usage, Static Analysis, Abstract Interpretation, Software Reliability}

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