Error checking with client-driven pointer analysis

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 performanc...

Ausführliche Beschreibung

Bibliographische Detailangaben

Veröffentlicht in:	Science of computer programming 2005-10, Vol.58 (1), p.83-114
Hauptverfasser:	Guyer, Samuel Z., Lin, Calvin
Format:	Artikel
Sprache:	eng
Schlagworte:	Adaptive analysis Context-sensitive Error checking Error detection Flow-sensitive Pointer analysis
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!