zbMATH — the first resource for mathematics

Client-driven pointer analysis. (English) Zbl 1067.68543
Cousot, Radhia (ed.), Static analysis. 10th international symposium, SAS 2003, San Diego, CA, USA, June 11–13, 2003. Proceedings. Berlin: Springer (ISBN 3-540-40325-6/pbk). Lect. Notes Comput. Sci. 2694, 214-236 (2003).
Summary: This paper presents a new client-driven pointer analysis algorithm that automatically adjusts its precision in response to the needs of client analyses. We evaluate our algorithm on 18 real C programs, using five significant error detection problems as clients. We compare the accuracy and performance of our algorithm against several commonly-used fixed-precision algorithms. We find that the client-driven approach effectively balances cost and precision, often producing results as accurate as fixed-precision algorithms that are many times more costly. Our algorithm works because many client problems only need a small amount of extra precision applied to the right places in each input program.
For the entire collection see [Zbl 1031.68001].

68N30 Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.)
Full Text: Link