A tool which mines partial execution traces to improve static analysis

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

Volumn 6418 LNCS, Issue , 2010, Pages 475-479

  Amato, Gianluca ^a   Parton, Maurizio ^a   Scozzari, Francesca ^a  

^a UNIVERSITY OF CHIETI   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

ABSTRACT INTERPRETATIONS; EXECUTION TRACE; NUMERICAL VARIABLES; PARTIAL EXECUTIONS;

ABSTRACTING; STATIC ANALYSIS;

PRINCIPAL COMPONENT ANALYSIS;

EID: 78650082414     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-16612-9_37     Document Type: Conference Paper

References (6)

1. Amato, G., Parton, M., Scozzari, F.: Deriving numerical abstract domains via principal component analysis. To appear in Proc. Static Analysis Symposium (2010)
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)
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)
4. Cousot, P., Cousot, R.: Static determination of dynamic properties of programs. In: Proc. Int'l Symposium on Programming, pp. 106-130 (1976)
5. Cousot, P., Cousot, R.: Abstract interpretation and applications to logic programs. The Journal of Logic Programming 13(2-3), 103-179 (1992)
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)