Shape Analysis

Reinhard Wilhelm, Shmuel Sagiv, Thomas W. Reps

Abstract: A shape-analysis algorithm statically analyzes a program to determine information about the heap-allocated data structures that the program manipulates. The results can be used to understand or verify programs. They also contain information valuable for debugging, compile-time garbage collection, instruction scheduling, and parallelization.