.png){kind=icon}
返回
Segment-Based May-Happen-in-Parallel Analysis for C Programs
.png){kind=icon}
PRE
AI
DOI：10.1002/cpe.70203.png)
.png){kind=icon}
原文求助.png){kind=icon}
分享.png){kind=icon}
收藏
摘要
En 中文
May-Happen-in-Parallel (MHP)分析是许多并发错误分析的基础。对锁与线程创建语句之间的耦合关系以及跨过程锁的不当处理，可能导致MHP分析的精度损失。为解决这些问题，本文提出了一种新的适用于C语言的MHP分析，其操作粒度为段而非单个语句。通过为程序构建分段线程敏感控制流图（STCFG），将语句分组到不同的段中。为这些段添加上下文信息以捕获Pthreads操作的语义，从而识别段之间的Happens-Before（HB）和冲突关系。为计算语句对的MHP信息，只需检查段之间的关系即可推断语句之间的关系。我们在LLVM中实现了该算法，并使用八个测试用例以及SPLASH2基准套件中的四个程序进行了评估。初步结果表明，我们的方法提供了更高的精度并实现了更高的效率。
Keyword:
MHP
multi-threading
Pthreads
static analysis
期刊
C
IF:
1.5
论文数:
106
被引数:
5.8K
机构
暂无机构信息
引用论文
.png){kind=icon}
分享收藏Enhancing Static Analysis for Practical Bug Detection: An LLM-Integrated Approach增强静态分析以实现实用 Bug 检测：一种集成 LLM 的方法
OAAI
OAAI分享收藏分享收藏
查看更多内容