“Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código”
From Navigators
(Difference between revisions)
(Created page with "{{Publication |type=inproceedings |title=Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código |author=Miguel Falé, Ibéria Medeiros, ...") |
|||
| (One intermediate revision not shown) | |||
| Line 2: | Line 2: | ||
|type=inproceedings | |type=inproceedings | ||
|title=Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código | |title=Resolução de Dependências Circulares em Inclusão de Código em Análise Estática de Código | ||
| - | |author=Miguel Falé, Ibéria Medeiros, Nuno Neves, | + | |author=Miguel Falé, Ibéria Medeiros, Nuno Ferreira Neves, |
| - | |Project=Project:SEGRID, | + | |Project=Project:SEGRID, |
|ResearchLine=Fault and Intrusion Tolerance in Open Distributed Systems (FIT) | |ResearchLine=Fault and Intrusion Tolerance in Open Distributed Systems (FIT) | ||
|month=oct | |month=oct | ||
|year=2017 | |year=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. | |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. | ||
| - | |booktitle=Proceedings of the 9th Simpósio de Informática | + | |booktitle=Proceedings of the 9th Simpósio de Informática (INForum 2017), Aveiro, Portugal |
}} | }} | ||
Latest revision as of 11:20, 7 November 2017
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
Project(s): Project:SEGRID
Research line(s): Fault and Intrusion Tolerance in Open Distributed Systems (FIT)
