Technical Report TR538:
Leena Unnikrishnan. Scott D. Stoller and Yanhong A. Liu
Automatic Accurate Stack Space and Heap Space Analysis for High-Level Languages
(Apr 2000), 28 pages
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: