Vojdani, V.; Vene, V. Goblint: path-sensitive data race analysis. (English) Zbl 1199.68107 Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 141-155 (2009). 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. Cited in 3 Documents MSC: 68P15 Database theory Keywords:detecting potential data races; Goblint Software:Goblint PDF BibTeX XML Cite \textit{V. Vojdani} and \textit{V. Vene}, Ann. Univ. Sci. Budap. Rolando Eötvös, Sect. Comput. 30, 141--155 (2009; Zbl 1199.68107)