×

zbMATH — the first resource for mathematics

Goblint: path-sensitive data race analysis. (English) Zbl 1199.68107
Summary: We present Goblint, a static analyzer for detecting potential data races in the multithreaded C code. The implemented analysis is sound on a “safe” subset of C and sufficiently efficient to be used for race-detection of multithreaded programs up to about 25 thousand lines of code. It uses a global invariant approach to avoid the state space explosion problem and is both context- and path-sensitive.

MSC:
68P15 Database theory
Software:
Goblint
PDF BibTeX XML Cite