Program analysis with dynamic change of precision Conference Paper


Author(s): Beyer, Dirk; Henzinger, Thomas A; Théoduloz, Grégory
Title: Program analysis with dynamic change of precision
Affiliation
Abstract: We present and evaluate a framework and tool for combining multiple program analyses which allows the dynamic (on-line) adjustment of the precision of each analysis depending on the accumulated results. For example, the explicit tracking of the values of a variable may be switched off in favor of a predicate abstraction when and where the number of different variable values that have been encountered has exceeded a specified threshold. The method is evaluated on verifying the SSH client/server software and shows significant gains compared with predicate abstraction-based model checking.
Conference Title: ASE: Automated Software Engineering
Conference Dates: September 15-19, 2008
Conference Location: L'Aquila, Italy
ISBN: 978-1-4244-2188-6
Publisher: ACM  
Date Published: 2008-10-07
Start Page: 29
End Page: 38
URL:
DOI: 10.1109/ASE.2008.13
Open access: no
IST Austria Authors
  1. Thomas A. Henzinger
    415 Henzinger
Related IST Austria Work