Abstract
|
Hoje em dia as aplicaçõoes web desempenham … 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. s ferramentas em aplicações web e plugins.
|
Author
|
Miguel Falé +
, Ibéria Medeiros +
, Nuno Ferreira Neves +
|
Booktitle
|
Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal +
|
Key
|
INForum 2017 ibe2 +
|
Month
|
oct +
|
NumPubDate
|
2,017.1 +
|
Project
|
Project:SEGRID +
|
ResearchLine
|
Fault and Intrusion Tolerance in Open Distributed Systems (FIT) +
|
Title
|
Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código +
|
Type
|
inproceedings +
|
Year
|
2017 +
|
Has improper value forThis property is a special property in this wiki.
|
Url +
|
Categories |
Publication +
|
Modification dateThis property is a special property in this wiki.
|
7 November 2017 11:20:14 +
|