Goblint is 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 medium sized multithreaded programs. It uses a global invariant approach to avoid the state space explosion problem and is both context- and path-sensitive. |
