Key points are not available for this paper at this time.
Für C-Programme ist Fluss-Sensitivität wichtig, um zu ermöglichen, dass die Pointer-Analyse eine hochnutzerfreundliche Präzision erreicht. Trotz signifikanter jüngster Fortschritte bei der sparsamen Skalierung der fluss-sensitiven Pointer-Analyse für sequenzielle C-Programme wurde relativ wenig Fortschritt für multithreaded C-Programme erzielt. In diesem Papier präsentieren wir FSAM, eine neue fluss-sensitive Pointer-Analyse, die ihre Skalierbarkeit für große multithreaded C-Programme erreicht, indem sie eine spärliche Analyse auf einer Reihe von Phasen der Thread-Interferenzanalyse durchführt. Wir bewerten FSAM mit 10 multithreaded C-Programmen (mit mehr als 100K Zeilen Code für das größte) aus Phoenix-2.0, Parsec-3.0 und Open-Source-Anwendungen. Für zwei Programme, raytrace und x264, ist die traditionelle datenvolzugsbasierte fluss-sensitive Pointer-Analyse nicht skalierbar (unter zwei Stunden), aber unsere Analyse benötigt gerade einmal weniger als 5 Minuten für raytrace und 9 Minuten für x264. Für die restlichen Programme ist unsere Analyse 12x schneller und benötigt 28x weniger Speicher.
Sui et al. (Mon,) untersuchten diese Frage.