Advertisement

A Tool Which Mines Partial Execution Traces to Improve Static Analysis

  • Gianluca Amato
  • Maurizio Parton
  • Francesca Scozzari
Part of the Lecture Notes in Computer Science book series (LNCS, volume 6418)

Abstract

We present a tool which performs abstract interpretation based static analysis of numerical variables. The novelty is that the analysis is parametric, and parameters are chosen by applying a variant of principal component analysis to partial execution traces of programs.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Amato, G., Parton, M., Scozzari, F.: Deriving numerical abstract domains via principal component analysis. To appear in Proc. Static Analysis Symposium (2010)Google Scholar
  2. 2.
    Anaya-Izquierdo, K., Critchley, F., Vines, K.: Orthogonal simple component analysis: a new, exploratory approach. To appear in the Annals of Applied Statistics (2010)Google Scholar
  3. 3.
    Bagnara, R., Hill, P.M., Zaffanella, E.: The Parma Polyhedra Library: Toward a complete set of numerical abstractions for the analysis and verification of hardware and software systems. Science of Computer Programming 72(1-2), 3–21 (2008)MathSciNetCrossRefGoogle Scholar
  4. 4.
    Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proc. Int’l Symposium on Programming, pp. 106–130 (1976)Google Scholar
  5. 5.
    Cousot, P., Cousot, R.: Abstract interpretation and applications to logic programs. The Journal of Logic Programming 13(2-3), 103–179 (1992)MathSciNetCrossRefzbMATHGoogle Scholar
  6. 6.
    Jeannet, B., Miné, A.: APRON: A library of numerical abstract domains for static analysis. In: Bouajjani, A., Maler, O. (eds.) CAV 2009. LNCS, vol. 5643, pp. 661–667. Springer, Heidelberg (2009)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2010

Authors and Affiliations

  • Gianluca Amato
    • 1
  • Maurizio Parton
    • 1
  • Francesca Scozzari
    • 1
  1. 1.Dipartimento di ScienzeUniversità “G. d’Annunzio” di Chieti e PescaraItaly

Personalised recommendations