Error Checking with Client-Driven Pointer Analysis.

Guyer, Samuel Z.
Lin, Yun Calvin.

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

Computer programs--Verification.
Tufts University. Department of Computer Science.
Permanent URL
Original publication
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: tufts:20172
To Cite: DCA Citation Guide
Usage: Detailed Rights