Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences

Raphaël Monat 1, 2
2 ANTIQUE - Analyse Statique par Interprétation Abstraite
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt
Abstract : In this document, we use the Abstract Interpretation framework to analyze concurrent programs using Thread-Modular Analysis. We designed a relational abstraction of interferences in order to infer more properties and go beyond the state of the art. We implemented a basic analyzer, studying the numerical properties of a simple language. We present the results obtained, as well as a study of the scalability of this approach.
Liste complète des métadonnées

Littérature citée [19 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/hal-01187538
Contributeur : Raphaël Monat <>
Soumis le : mercredi 2 septembre 2015 - 17:11:21
Dernière modification le : vendredi 25 mai 2018 - 12:02:07
Document(s) archivé(s) le : mercredi 26 avril 2017 - 10:34:16

Fichier

Identifiants

  • HAL Id : hal-01187538, version 1

Collections

Citation

Raphaël Monat. Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences. Performance [cs.PF]. 2015. 〈hal-01187538〉

Partager

Métriques

Consultations de la notice

227

Téléchargements de fichiers

158