Discovering invariants via simple component analysis |
| |
Authors: | Gianluca Amato Maurizio Parton Francesca Scozzari |
| |
Affiliation: | Dipartimento di Scienze, Università degli Studi “G. d’Annunzio” di Chieti-Pescara, viale Pindaro 42, 65127 Pescara, Italy |
| |
Abstract: | We propose a new technique combining dynamic and static analysis of programs to find linear invariants. We use a statistical tool, called simple component analysis, to analyze partial execution traces of a given program. We get a new coordinate system in the vector space of program variables, which is used to specialize numerical abstract domains. As an application, we instantiate our technique to interval analysis of simple imperative programs and show some experimental evaluations. |
| |
Keywords: | Static analysis Abstract interpretation Simple component analysis Intervals Interval arithmetic |
本文献已被 ScienceDirect 等数据库收录! |