Error Checking with Client-Driven Pointer Analysis.

Guyer, Samuel Z.

Lin, Yun Calvin.

2005.

Description
  • This paper presents a new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses. Using five significant error detection problems as clients, we evaluate our algorithm on 18 real C programs. We compare the accuracy and performance of our algorithm against several commonly-used fixedprecision algorithms. We find that the client-... read more
This object is in collection Subject Permanent URL Citation
  • Guyer, Samuel Z., and Calvin Lin. "Error Checking with Client-Driven Pointer Analysis." Science of Computer Programming 58, no. 1-2 (October 2005): 83-114. doi:10.1016/j.scico.2005.02.005
ID:
fx71b002f
To Cite:
DCA Citation Guide    EndNote
Usage:
Detailed Rights