Sciweavers

SAS
2004
Springer
109views Formal Methods» more  SAS 2004»
13 years 10 months ago
Pointer-Range Analysis
Array-Range Analysis computes at compile time the range of possible index values for each array-index expression in a program. This information can be used to detect potential out-...
Suan Hsi Yong, Susan Horwitz