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

Full description

Bibliographic Details

Published in:	Proceedings of ACM on programming languages Vol. 9; no. OOPSLA1; pp. 617 - 648
Main Authors:	Nougrahiya, Aman, Nandivada, V. Krishna
Format:	Journal Article
Language:	English
Published:	New York, NY, USA ACM 09.04.2025
Subjects:	Automated static analysis Compilers Software and its engineering static analysis incremental compilation
ISSN:	2475-1421, 2475-1421
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!