Accéder directement au contenu Accéder directement à la navigation
Pré-publication, Document de travail

A Flow-Insensitive-Complete Program Representation

Solène Mirliaz 1 David Pichardie 2 
1 CELTIQUE - Software certification with semantic analysis
Inria Rennes – Bretagne Atlantique , IRISA-D4 - LANGAGE ET GÉNIE LOGICIEL
Abstract : 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.
Type de document :
Pré-publication, Document de travail
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-03384612
Contributeur : Solène Mirliaz Connectez-vous pour contacter le contributeur
Soumis le : mardi 19 octobre 2021 - 09:34:01
Dernière modification le : vendredi 5 août 2022 - 14:54:52
Archivage à long terme le : : jeudi 20 janvier 2022 - 18:17:18

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-03384612, version 1

Citation

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

Partager

Métriques

Consultations de la notice

66

Téléchargements de fichiers

103