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

Goblint is 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.

Detalles Bibliográficos
Autores principales: Saan, Simmo, Schwarz, Michael, Apinis, Kalmer, Erhard, Julian, Seidl, Helmut, Vogler, Ralf, Vojdani, Vesal
Formato: Online Artículo Texto
Lenguaje:English
Publicado: 2021
Materias:
Article
Acceso en línea:https://www.ncbi.nlm.nih.gov/pmc/articles/PMC7984535/
http://dx.doi.org/10.1007/978-3-030-72013-1_28
Descripción
Sumario:Goblint is 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.

Ejemplares similares