Goblint: path-sensitive data race analysis

MaRDI QIDQ3653849zbMATH OpenFDO

Authors Vesal Vojdani, Varmo Vene

Publication date 29 December 2009

zbMATH Keywords

detecting potential data racesGoblint

Mathematics Subject Classification ID

Database theory (68P15)

Recommendations

• Region Analysis for Race Detection
• scientific article; zbMATH DE number 2117132
• Dynamic race detection for C++11
• Fast and Accurate Static Data-Race Detection for Concurrent Programs
• Efficient detection of determinacy races in cilk programs

Cited in

(8)

• Static analysis of embedded real-time concurrent software with dynamic priorities
• Goblint
• Effect-polymorphic behaviour inference for deadlock checking
• Region Analysis for Race Detection
• scientific article; zbMATH DE number 2117132 (Why is no real title available?)
• Three improvements to the top-down solver
• Dynamic race detection for C++11
• Fast and Accurate Static Data-Race Detection for Concurrent Programs

This page was built for publication: Goblint: path-sensitive data race analysis

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3653849)