Optimal and Perfectly Parallel Algorithms for On-demand Data-Flow Analysis

Interprocedural data-flow analyses form an expressive and useful paradigm of numerous static analysis applications, such as live variables analysis, alias analysis and null pointers analysis. The most widely-used framework for interprocedural data-flow analysis is IFDS, which encompasses distributiv...

Descripción completa

Detalles Bibliográficos
Autores principales: Chatterjee, Krishnendu, Goharshady, Amir Kafshdar, Ibsen-Jensen, Rasmus, Pavlogiannis, Andreas
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2020
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702249/
http://dx.doi.org/10.1007/978-3-030-44914-8_5

Internet

https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7702249/
http://dx.doi.org/10.1007/978-3-030-44914-8_5

Ejemplares similares