A Flow-Insensitive-Complete Program Representation - LANGAGE ET GÉNIE LOGICIEL
Communication Dans Un Congrès Année : 2022

A Flow-Insensitive-Complete Program Representation

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

Solène Mirliaz
  • Fonction : Auteur
  • PersonId : 1165367
David Pichardie

Résumé

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
Mirliaz-VMCAI22.pdf (484.72 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-04273047 , version 1 (07-11-2023)

Identifiants

Citer

Solène Mirliaz, David Pichardie. A Flow-Insensitive-Complete Program Representation. 23rd International Conference Verification, Model Checking, and Abstract Interpretation (VMCAI 2022 ), Jan 2022, Philadelphia, United States. ⟨10.1007/978-3-030-94583-1_10⟩. ⟨hal-04273047⟩
113 Consultations
36 Téléchargements

Altmetric

Partager

More