%0 Conference Paper %B 13th International Conference on Computational Science and Applications - ICCSA %D 2013 %T A Framework for Modular and Customizable Software Analysis %A Pedro Martins %A Nuno Ramos Carvalho %A João Paulo Fernandes %A José João Almeida %A João Alexandre Saraiva %C Ho Chi Minh City, Vietnam %P 443-458 %X

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.

%8 June %> https://haslab.uminho.pt/sites/default/files/jpaulo/files/iccsa13.pdf