Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Master Thesis Year : 2015

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

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.
Fichier principal
Vignette du fichier
report.pdf (473.02 Ko) Télécharger le fichier
Loading...

Dates and versions

hal-01187538 , version 1 (02-09-2015)

Identifiers

  • HAL Id : hal-01187538 , version 1

Cite

Raphaël Monat. Thread-Modular Static Analysis by Abstract Interpretation: designing relational abstractions of interferences. Performance [cs.PF]. 2015. ⟨hal-01187538⟩
157 View
151 Download

Share

Gmail Facebook X LinkedIn More