Symbolic bounds analysis of pointers, array indices, and accessed memory regions

DMCA

Symbolic bounds analysis of pointers, array indices, and accessed memory regions (2000)

Cached

Download Links

Other Repositories/Bibliography

DBLP

by Radu Rugina , Martin C. Rinard

Citations:

132 - 14 self

BibTeX

@INPROCEEDINGS{Rugina00symbolicbounds,
    author = {Radu Rugina and Martin C. Rinard},
    title = {Symbolic bounds analysis of pointers, array indices, and accessed memory regions},
    booktitle = {},
    year = {2000},
    pages = {182--195},
    publisher = {ACM Press}
}

OpenURL

Abstract

This article presents a novel framework for the symbolic bounds analysis of pointers, array indices, and accessed memory regions. Our framework formulates each analysis problem as a system of inequality constraints between symbolic bound polynomials. It then reduces the constraint system to a linear program. The solution to the linear program provides symbolic lower and upper bounds for the values of pointer and array index variables and for the regions of memory that each statement and procedure accesses. This approach eliminates fundamental problems associated with applying standard fixed-point approaches to symbolic analysis problems. Experimental results from our implemented compiler show that the analysis can solve several important problems, including static race detection, automatic parallelization, static detection of array bounds violations, elimination of array bounds checks, and reduction of the number of bits used to store computed values.

Keyphrases

memory region array index linear program symbolic bound polynomial compiler show several important problem automatic parallelization novel framework static race detection upper bound inequality constraint computed value analysis problem standard fixed-point approach static detection symbolic analysis problem array bound check array bound violation constraint system fundamental problem experimental result array index variable procedure access

DMCA