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

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/hal-01187538
Contributor : Raphaël Monat <>
Submitted on : Wednesday, September 2, 2015 - 5:11:21 PM
Last modification on : Tuesday, May 4, 2021 - 2:06:02 PM
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

290

Files downloads

200