A Flow-Insensitive-Complete Program Representation - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2021

A Flow-Insensitive-Complete Program Representation

Représentation de programme flot-insensible-complète


When designing a static analysis, choosing between a flowinsensitive or a flow-sensitive analysis often amounts to favor scalability over precision. It is well known than specific program representations can help to reconcile the two objectives at the same time. For example the SSA representation is used in modern compilers to perform a constant propagation analysis flow-insensitively without any loss of precision. This paper proposes a provably correct program transformation that reconciles them for any analysis. We formalize the notion of Flow-Insensitive-Completeness with two collecting semantics and provide a program transformation that permits to analyze a program in a flow insensitive manner without sacrificing the precision we could obtain with a flow sensitive approach.
Fichier principal
Vignette du fichier
main.pdf (510.43 Ko) Télécharger le fichier
Origin Files produced by the author(s)

Dates and versions

hal-03384612 , version 1 (19-10-2021)


  • HAL Id : hal-03384612 , version 1


Solène Mirliaz, David Pichardie. A Flow-Insensitive-Complete Program Representation. 2021. ⟨hal-03384612⟩
155 View
248 Download


Gmail Mastodon Facebook X LinkedIn More