HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Reports

Instancewise Program Analysis

Pierre Amiranoff 1 Albert Cohen
1 A3 - Advanced analysis to code optimization
UP11 - Université Paris-Sud - Paris 11, Inria Saclay - Ile de France
Abstract : We introduce a general static analysis framework to reason about program properties at an infinite number of runtime control points, called instances. Infinite sets of instances are represented by rational languages. Based on this instancewise framework, we extend the concept of induction variables to recursive programs. For a class of monoid-based data structures, including arrays and trees, induction variables capture the exact memory location accessed at every step of the execution. This compile-time characterization is computed in polynomial time as a rational function.
Document type :
Reports
Complete list of metadata

https://hal.inria.fr/inria-00071465
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Tuesday, May 23, 2006 - 5:38:02 PM
Last modification on : Friday, January 21, 2022 - 4:04:25 AM
Long-term archiving on: : Sunday, April 4, 2010 - 10:16:46 PM

Identifiers

  • HAL Id : inria-00071465, version 1

Citation

Pierre Amiranoff, Albert Cohen. Instancewise Program Analysis. RR-5117, INRIA. 2004. ⟨inria-00071465⟩

Share

Metrics

Record views

71

Files downloads

92