IncIDFA: An Efficient and Generic Algorithm for Incremental Iterative Dataflow Analysis

Iterative dataflow analyses (IDFAs) are important static analyses employed by tools like compilers for enabling program optimizations, comprehension, verification, and more. During compilation of a program, optimizations/transformations can render existing dataflow solutions stale, jeopardizing the...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Proceedings of ACM on programming languages Jg. 9; H. OOPSLA1; S. 617 - 648
Hauptverfasser:	Nougrahiya, Aman, Nandivada, V. Krishna
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	New York, NY, USA ACM 09.04.2025
Schlagworte:	Automated static analysis Compilers Software and its engineering static analysis incremental compilation
ISSN:	2475-1421, 2475-1421
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!