| Abstract
|
As ferramentas de análise estática facilit … As ferramentas de análise estática facilitam a detecção de anomalias ou erros de codificação existentes numa aplicação. Estas ferramentas vêm ajudar a eliminar lapsos cometidos pelos programadores, podendo ter um impacto significativo no ciclo de desenvolvimento de um produto, permitindo poupar tempo e dinheiro.
Neste artigo é apresentado um teste que permite avaliar e comparar o desempenho de diversas ferramentas de análise estática, nomeadamente em relação ao número de falsos alarmes reportados e às vulnerabilidades que ficam por localizar. Os resultados obtidos com um conjunto de nove ferramentas demonstram que muitas delas estão especializadas para certas classes de vulnerabilidades, e que em média produzem um número significativo de falsos alertas. Daí ter-se concretizado uma nova ferramenta, designada por Mute, que utiliza um mecanismo de agregação de resultados produzidos por vários outros analisadores. Uma avaliação do Mute mostrou que ele era capaz de apresentar uma melhor eficácia e precisão na detecção para um conjunto alargado de vulnerabilidades. um conjunto alargado de vulnerabilidades.
|
| Author
|
Emanuel Teixeira +
, João Antunes +
, Nuno Ferreira Neves +
|
| Booktitle
|
Proceedings of the Segurança Informática nas Organizações +
|
| Key
|
Emanuel-teixeira2007avaliacao-de-218 +
|
| Month
|
nov +
|
| NumPubDate
|
2,007.11 +
|
| Project
|
Project:AJECT +
|
| ResearchLine
|
Fault And Intrusion Tolerance in Open Distributed Systems (FIT) +
|
| Title
|
Avaliação de Ferramentas de Análise Estática de Código para Detecção de Vulnerabilidades +
|
| Type
|
inproceedings +
|
| Url
|
http://www.navigators.di.fc.ul.pt/archive/papers/teixeira07.pdf +
|
| Year
|
2007 +
|
| Categories |
Publication +
|
| Modification dateThis property is a special property in this wiki.
|
14 January 2013 14:41:15 +
|
