Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints - (Competition Contribution)

Abstract

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.