Indiana University Bloomington

School of Informatics and Computing

Technical Report TR538:
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages

Leena Unnikrishnan. Scott D. Stoller and Yanhong A. Liu
(Apr 2000), 28 pages
Abstract:
This paper describes a general approach for automatic and accurate space and space-bound analyses for high-level languages, considering stack space, heap allocation and live heap space usage of programs. The approach is based on program analysis and transformations and is fully automatic. The analyses produce accurate upper bounds in the presence of partially known input structures. The analyses have been implemented, and experimental results confirm the accuracy.

Available as: