Please use this identifier to cite or link to this item:

TitleA framework for modular and customizable software analysis
Author(s)Martins, Pedro
Carvalho, Nuno
Fernandes, João Paulo
Almeida, José João
Saraiva, João
KeywordsSoftware Analysis
Software Certification
Combinator Languages
Issue date2013
PublisherSpringer-Verlag Berlin
JournalLecture Notes in Computer Science
Abstract(s)This paper presents a framework for the analysis of software artifacts. We revise and propose techniques that aid in the manipulation and combination of target-language specific tools, and in handling and controlling the results of such tools. We also propose to integrate under our framework techniques that are capable of performing language independent analyses. The final result of our work is an analysis environment that is modular and flexible and that allows easy and elegant implementations of complex analysis suites. We finally conduct a proof of concept for our framework by analyzing a well-known, widely used open-source software package.
TypeConference paper
Publisher version
AccessOpen access
Appears in Collections:HASLab - Artigos em atas de conferências internacionais (texto completo)

Files in This Item:
File SizeFormat 
1261.pdf364,74 kBAdobe PDFView/Open

Partilhe no FacebookPartilhe no TwitterPartilhe no DeliciousPartilhe no LinkedInPartilhe no DiggAdicionar ao Google BookmarksPartilhe no MySpacePartilhe no Orkut
Exporte no formato BibTex mendeley Exporte no formato Endnote Adicione ao seu ORCID