Download
Overview
Papers
Papers related to Goblint
Region analysis for race detection
.
SAS'09.
This paper explains the region analysis method that we use to deal with medium-grained locking.
A smooth combination of linear and Herbrand equalities for polynomial time must-alias analysis
.
FM'09.
Presents the key ideas for dealing with per-element locking.
Goblint: path-sensitive data race analysis
.
SPLST'07.
Overview of the analyzer and how it uses property-simulation to obtain a path-sensitive analysis.
Global invariants for analysing multi-threaded applications
.
NWPT'02
. Describes the underlying nested-fixpoint style thread-modular analysis engine that enables us to analyze multi-threaded programs soundly.