“Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”

From Navigators

Jump to: navigation, search

Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves

in Proceedings of the 9th Simpósio de Informática, INForum 2017, Aveiro, Portugal, Oct. 2017.

Abstract: Hoje em dia as aplicaçõoes web desempenham um papel fundamental no acesso a uma miríade de serviços. Construir aplicações seguras tornou-se assim num aspeto crucial, contudo, a sua obtenção depende tanto dos conhecimentos de quem as elabora, bem como da correta utilização das linguagens de programação. O uso incorreto de funcionalidades das linguagens origina inconsistências na execução do código, tais como dependências circulares criadas pela inclusão de código de um ficheiro noutro recursivamente. As ferramentas de análise estática de código são utilizadas para detetarem este tipo de erros nos programas. Estas percorrem o código das aplicações, estando assim sensíveis às dependências circulares que provocam deteções inválidas (tanto falsos positivos como falsos negativos). Este artigo apresenta o problema das dependências circulares e uma solução para a sua resolução através de análise estática de código. A solução foi implementada na ferramenta WAP, a qual identifica dependências circulares em aplicações web e realiza a análise sem quebrar a sua execução. Uma avaliação experimental foi realizada com outras ferramentas em aplicações web e plugins.


Export citation

BibTeX

Project(s): Project:SEGRID

Research line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)

Personal tools
Navigators toolbox