Goblint: path-sensitive data race analysis. 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.
Keywords for this software
References in zbMATH (referenced in 6 articles , 1 standard article )
Showing results 1 to 6 of 6.
- Apinis, Kalmer; Vene, Varmo; Vojdani, Vesal: Demand-driven interprocedural analysis for map-based abstract domains (2018)
- Miné, Antoine: Static analysis of embedded real-time concurrent software with dynamic priorities (2017)
- Pun, Ka I; Steffen, Martin; Stolz, Volker: Effect-polymorphic behaviour inference for deadlock checking (2016)
- Vojdani, Vesal: Static data race analysis of heap-manipulating C programs (2010)
- Seidl, Helmut; Vojdani, Vesal: Region analysis for race detection (2009)
- Vojdani, V.; Vene, V.: Goblint: path-sensitive data race analysis (2009)