Skip to Main content Skip to Navigation
Master thesis

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 - ENS Paris, 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.
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01187538
Contributor : Raphaël Monat Connect in order to contact the contributor
Submitted on : Wednesday, September 2, 2015 - 5:11:21 PM
Last modification on : Thursday, March 17, 2022 - 10:08:44 AM
Long-term archiving on: : Wednesday, April 26, 2017 - 10:34:16 AM

Identifiers

  • 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⟩

Share

Metrics

Record views

149

Files downloads

140