静态栅栏分析中反例生成的改进

计算机工程与应用 ›› 2011, Vol. 47 ›› Issue (11): 23-25.

静态栅栏分析中反例生成的改进

王昭飞

国防科学技术大学计算机学院并行与分布处理国防科技重点实验室，长沙 410073

收稿日期:1900-01-01 修回日期:1900-01-01 出版日期:2011-04-11 发布日期:2011-04-11

Improvement on counter example generation in static barrier analysis

WANG Zhaofei

National Laboratory for Parallel and Distributed Processing，School of Computer Science，National University of Defense Technology，Changsha 410073，China

Received:1900-01-01 Revised:1900-01-01 Online:2011-04-11 Published:2011-04-11

摘要/Abstract

摘要： 栅栏分析器生成反例以帮助MPI程序员诊断同步错误。然而，对于某些真实程序现有的反例生成方法不支持快速的错误诊断。提出了一种改进的反例生成方法。该方法记录了多值表达式的传播历史并且能够推导出触发同步错误的程序输入。实验评估表明提出的方法比现有的技术更好地支持同步错误诊断。

关键词: 栅栏, 反例, 消息传递接口, 静态分析, 错误诊断

Abstract: Barrier analyzers generate counter examples to help MPI programmers diagnose synchronization errors.However，existing counter example generation approaches do not support rapid error diagnosis for some real programs.This paper presents an improved counter example generation approach which records the history of MVE（Multi-Valued Expression） propagation and can infer the program inputs triggering errors.Experimental evaluation shows the proposed approach supports synchronization error diagnosis better than existing ones.

Key words: barrier, counter example, Message Passing Interface（MPI）, static analysis, error diagnosis

王昭飞. 静态栅栏分析中反例生成的改进[J]. 计算机工程与应用, 2011, 47(11): 23-25.

WANG Zhaofei. Improvement on counter example generation in static barrier analysis[J]. Computer Engineering and Applications, 2011, 47(11): 23-25.

[1]	陈耀阳，陈伟. 采用隐式跳转的控制流混淆技术[J]. 计算机工程与应用, 2021, 57(20): 125-132.
[2]	林宏阳，彭建山，赵世斌，朱俊虎，许航. JavaScript引擎漏洞检测方法综述[J]. 计算机工程与应用, 2019, 55(11): 16-24.
[3]	陈璐，马媛媛，石聪聪，李尼格，李伟伟. Android应用安全缺陷的静态分析技术研究[J]. 计算机工程与应用, 2018, 54(4): 117-121.
[4]	党小超1，2，马如仓1，郝占军1，2. 基于Voronoi的无线传感器网络栅栏覆盖策略[J]. 计算机工程与应用, 2018, 54(2): 91-96.
[5]	赵薇1，4，王楠2，苏欣3，4，张波云1. 基于深度信念网络的Android恶意应用检测方法[J]. 计算机工程与应用, 2018, 54(18): 125-132.
[6]	刘世永，陈荦，熊伟，吴烨，李军. 基于MPI的大规模栅格影像并行瓦片化算法[J]. 计算机工程与应用, 2018, 54(1): 48-53.
[7]	陈琪1，蒋国平2，夏玲玲3. 基于静态结构的恶意代码同源性分析[J]. 计算机工程与应用, 2017, 53(14): 93-98.
[8]	肖玉杰，降爱莲，冯秀芳. 基于重叠感知比的强栅栏覆盖构建算法[J]. 计算机工程与应用, 2017, 53(11): 114-119.
[9]	李男，庞建民，单征. 面向异构众核的CUDA程序二进制翻译[J]. 计算机工程与应用, 2016, 52(7): 17-23.
[10]	董玉坤. C程序非法计算缺陷的静态检测[J]. 计算机工程与应用, 2016, 52(19): 31-36.
[11]	钱雨村，彭国军，王滢，梁玉. 恶意代码同源性分析及家族聚类[J]. 计算机工程与应用, 2015, 51(18): 76-81.
[12]	余婧，曹菡，靳朋飞. Voronoi图k阶邻近并行矩阵迭代算法[J]. 计算机工程与应用, 2014, 50(6): 102-105.
[13]	尤枫，边毅，赵瑞莲. EFSM模型的字符串类型测试数据自动生成[J]. 计算机工程与应用, 2014, 50(16): 57-61.
[14]	熊齐1，陈南晖2，方霞1. 基于MPI的Welch功率谱估计并行算法的实现[J]. 计算机工程与应用, 2014, 50(12): 194-197.
[15]	吴小菁. 智能知识地图挖掘数据的金融危机早期预警[J]. 计算机工程与应用, 2013, 49(24): 116-121.