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