A framework for modular and customizable software analysis

Pedro Martins; Nuno Carvalho; João Paulo Fernandes; José João Almeida; João Saraiva

doi:10.1007/978-3-642-39643-4_32

A framework for modular and customizable software analysis

Pedro Martins, Nuno Carvalho, João Paulo Fernandes, José João Almeida, João Saraiva

Computer Science

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Abstract

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.

Original language	English (US)
Title of host publication	Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings
Pages	443-458
Number of pages	16
Edition	PART 2
DOIs	https://doi.org/10.1007/978-3-642-39643-4_32
State	Published - 2013
Event	13th International Conference on Computational Science and Its Applications, ICCSA 2013 - Ho Chi Minh City, Viet Nam Duration: Jun 24 2013 → Jun 27 2013

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Number	PART 2
Volume	7972 LNCS
ISSN (Print)	0302-9743
ISSN (Electronic)	1611-3349

Conference

Conference	13th International Conference on Computational Science and Its Applications, ICCSA 2013
Country/Territory	Viet Nam
City	Ho Chi Minh City
Period	6/24/13 → 6/27/13

Keywords

Combinator Languages
Software Analysis
Software Certification

ASJC Scopus subject areas

Theoretical Computer Science
General Computer Science

Access to Document

10.1007/978-3-642-39643-4_32

Cite this

Martins, P., Carvalho, N., Fernandes, J. P., Almeida, J. J., & Saraiva, J. (2013). A framework for modular and customizable software analysis. In Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings (PART 2 ed., pp. 443-458). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7972 LNCS, No. PART 2). https://doi.org/10.1007/978-3-642-39643-4_32

A framework for modular and customizable software analysis. / Martins, Pedro; Carvalho, Nuno; Fernandes, João Paulo et al.
Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 2. ed. 2013. p. 443-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 7972 LNCS, No. PART 2).

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution

Martins, P, Carvalho, N, Fernandes, JP, Almeida, JJ & Saraiva, J 2013, A framework for modular and customizable software analysis. in Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 2 edn, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), no. PART 2, vol. 7972 LNCS, pp. 443-458, 13th International Conference on Computational Science and Its Applications, ICCSA 2013, Ho Chi Minh City, Viet Nam, 6/24/13. https://doi.org/10.1007/978-3-642-39643-4_32

Martins P, Carvalho N, Fernandes JP, Almeida JJ, Saraiva J. A framework for modular and customizable software analysis. In Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 2 ed. 2013. p. 443-458. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2). doi: 10.1007/978-3-642-39643-4_32

Martins, Pedro ; Carvalho, Nuno ; Fernandes, João Paulo et al. / A framework for modular and customizable software analysis. Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings. PART 2. ed. 2013. pp. 443-458 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); PART 2).

@inproceedings{274f84daba184ca5ab6aed636b16a82d,

title = "A framework for modular and customizable software analysis",

abstract = "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.",

keywords = "Combinator Languages, Software Analysis, Software Certification",

author = "Pedro Martins and Nuno Carvalho and Fernandes, {Jo{\~a}o Paulo} and Almeida, {Jos{\'e} Jo{\~a}o} and Jo{\~a}o Saraiva",

year = "2013",

doi = "10.1007/978-3-642-39643-4_32",

language = "English (US)",

isbn = "9783642396427",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

number = "PART 2",

pages = "443--458",

booktitle = "Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings",

edition = "PART 2",

note = "13th International Conference on Computational Science and Its Applications, ICCSA 2013 ; Conference date: 24-06-2013 Through 27-06-2013",

}

TY - GEN

T1 - A framework for modular and customizable software analysis

AU - Martins, Pedro

AU - Carvalho, Nuno

AU - Fernandes, João Paulo

AU - Almeida, José João

AU - Saraiva, João

PY - 2013

Y1 - 2013

N2 - 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.

AB - 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.

KW - Combinator Languages

KW - Software Analysis

KW - Software Certification

UR - http://www.scopus.com/inward/record.url?scp=84880731426&partnerID=8YFLogxK

UR - http://www.scopus.com/inward/citedby.url?scp=84880731426&partnerID=8YFLogxK

U2 - 10.1007/978-3-642-39643-4_32

DO - 10.1007/978-3-642-39643-4_32

M3 - Conference contribution

AN - SCOPUS:84880731426

SN - 9783642396427

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 443

EP - 458

BT - Computational Science and Its Applications, ICCSA 2013 - 13th International Conference, Proceedings

T2 - 13th International Conference on Computational Science and Its Applications, ICCSA 2013

Y2 - 24 June 2013 through 27 June 2013

ER -

A framework for modular and customizable software analysis

Abstract

Publication series

Conference

Keywords

ASJC Scopus subject areas

Access to Document

Other files and links

Fingerprint

Cite this