Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints
Simmo Saan, Michael H. Schwarz, Kalmer Apinis, Julian Erhard, Helmut Seidl, Ralf Vogler, Vesal Vojdani · Lecture notes in computer science · 2021
Abstract Goblintis a static analysis framework for C programs specializing in data race analysis. It relies on thread-modular abstract interpretation where thread interferences are accounted for by means of flow-insensitive global invariants.