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

机译：Goblint：使用副作用约束（竞争贡献）线程模块化抽象解释

获取原文

页面导航

摘要
著录项
相似文献
相关主题

摘要

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.

机译：GoBlint是专门从事数据竞争分析的C程序的静态分析框架。它依赖于通过流量不敏感的全球不变性占线的线程模块化抽象解释。

著录项

来源
《European joint conferences on theory and practice of software;International conference on tools and algorithms for the construction and analysis of systems》|2021年|438-442|共5页
会议地点
作者
Simmo Saan; Michael Schwarz; Kalmer Apinis; Julian Erhard; Helmut Seidl; Ralf Vogler; Vesal Vojdani;
展开▼
作者单位

展开▼
会议组织
原文格式 PDF
正文语种
中图分类
关键词

相似文献

外文文献
中文文献
专利

1. Modular Constraint Solver Cooperation via Abstract Interpretation [J] . TALBOT P. I. E. R. R. E., MONFROY E. R. I. C., TRUCHET C. H. A. R. L. O. T. T. E. Theory and Practice of Logic Programming . 2020,第6期

机译：通过抽象解释，模块化约束求解器合作
2. Abstract Interpretation, Symbolic Execution and Constraints [J] . Roberto Amadini, Graeme Gange, Peter Schachte, OASIcs : OpenAccess Series in Informatics . 2020,第2期

机译：抽象解释，符号执行和约束
3. Verifying floating-point programs with constraint programming and abstract interpretation techniques [J] . Olivier Ponsini, Claude Michel, Michel Rueher Automated software engineering . 2016,第2期

机译：使用约束编程和抽象解释技术验证浮点程序
4. Ultimate Taipan: Trace Abstraction and Abstract Interpretation (Competition Contribution) [C] . Marius Greitschus, Daniel Dietsch, Matthias Heizmann, International conference on tools and algorithms for the construction and analysis of systems;European joint conferences on theory and practice of software . 2017

机译：终极大班：痕迹抽象和抽象解释（竞赛贡献）
5. Automating abstract interpretation of abstract machines [D] . Johnson, James Ian 2015

机译：自动化抽象机器的抽象解释
6. Competition as a source of constraint on life history evolution in natural populations [O] . A J Wilson 2014

机译：竞争是自然人口生活史演变的制约因素
7. Goblint: Thread-Modular Abstract Interpretation Using Side-Effecting Constraints [O] . Simmo Saan, Michael Schwarz, Kalmer Apinis, 2021

机译：Goblint：使用侧面效应约束来解释线程模块化抽象解释
8. Some design constraints required for the assembly of software components: The incorporation of atomic abstract types into generically structured abstract types [R] . Johnson, Charles S. 1986

机译：软件组件组装所需的一些设计约束：将原子抽象类型合并到一般结构化的抽象类型中

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

摘要

著录项

相似文献

相关主题

期刊订阅