Skip to main content

A Framework for Modular and Customizable Software Analysis

  • Conference paper
Computational Science and Its Applications – ICCSA 2013 (ICCSA 2013)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 7972))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Martins, P., Fernandes, J.P., Saraiva, J.: A purely functional combinator language for software quality assessment. In: Symposium on Languages, Applications and Technologies (SLATE 2012). OASICS, vol. 21, pp. 51–69. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik (2012)

    Google Scholar 

  2. Martins, P., Fernandes, J.P., Saraiva, J.: A web portal for the certification of open source software. In: 6th International Workshop on Foundations and Techniques for Open Source Software Certification (OPENCERT 2012). LNCS (2012) (to appear)

    Google Scholar 

  3. Martins, P., Fernandes, J.P., Saraiva, J.: A combinator language for software quality reports. International Journal of Computer and Communication Engineering 2 (2013)

    Google Scholar 

  4. Simon, Hughes, J., Augustsson, L., Barton, D., Boutel, B., Burton, W., Fasel, J., Hammond, K., Hinze, R., Hudak, P., Johnsson, T., Jones, M., Launchbury, J., Meijer, E., Peterson, J., Reid, A., Runciman, C., Wadler, P.: The Haskell 98 Report (1999)

    Google Scholar 

  5. Forward, A., Lethbridge, T.: The relevance of software documentation, tools and technologies: a survey. In: Proceedings of the 2002 ACM Symposium on Document Engineering, pp. 26–33. ACM (2002)

    Google Scholar 

  6. Nelson, M.L.: A survey of reverse engineering and program comprehension. CoRR (2005)

    Google Scholar 

  7. Rajlich, V., Wilde, N.: The role of concepts in program comprehension. In: Proceesing of the 10th International Workshop on Program Comprehension, pp. 271–278. IEEE (2002)

    Google Scholar 

  8. Thomas, B., Tilley, S.: Documentation for software engineers: what is needed to aid system understanding? In: Proceedings of the 19th Annual International Conference on Computer Documentation, pp. 235–236. ACM (2001)

    Google Scholar 

  9. Kitchenham, B., Pfleeger, S.: Software quality: the elusive target [special issues section]. IEEE Software 13(1), 12–21 (1996)

    Article  Google Scholar 

  10. Carvalho, N.R., Simões, A., Almeida, J.J.: Open source software documentation mining for quality assessment. In: WorldCIST 2013 - World Conference on Information Systems and Technologies Proceedings (to appear, 2013)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Martins, P., Carvalho, N., Fernandes, J.P., Almeida, J.J., Saraiva, J. (2013). A Framework for Modular and Customizable Software Analysis. In: Murgante, B., et al. Computational Science and Its Applications – ICCSA 2013. ICCSA 2013. Lecture Notes in Computer Science, vol 7972. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-39643-4_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-39643-4_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-39642-7

  • Online ISBN: 978-3-642-39643-4

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics