OpenMP Fortran程序中的未指定行为的静态检测

• 作者: 王昭飞 赵克佳 黄春
• 来源期刊: 南京大学学报（自然科学版）
• 学科: 工学
• 关键词: OpenMP 未指定行为 静态检测 回溯 C-Checker
• 年，卷（期）: 2005,（z1）
• 所属期刊栏目: 并行与编译技术
• 页码范围: 491-498
• 页数: 8页
• 分类号: TP314
• 字数: 7040字
• 语种: 中文
• DOI: 10.3321/j.issn:0469-5097.2005.z1.078

摘要

未指定行为是导致OpenMP程序运行时错误的主要原因之一.给出一个静态地检测OpenMPFortran程序中的未指定行为的工具C-Checker.该工具基于扩展的控制流图和调用图,采用"程序分层、逐层分析"的策略分析控制结构所导致的不确定的程序行为,以定位程序中的未指定行为,并通过回溯记录控制流图中导致这些行为的路径.借助于调用图,它还能够记录跨越过程边界的路径.此外,C-Checker利用启发式规则估计每条路径的执行概率,能够量化路径所对应的警告的严重程度.实验表明,C-Checker能够有效地检测实际的OpenMP Fortran程序中的未指定行为,并辅助程序员消除这些隐患.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	黄春	国防科技大学计算机学院	13	25	3.0	4.0
2	赵克佳	国防科技大学计算机学院	7	20	3.0	4.0
3	王昭飞	国防科技大学计算机学院	3	2	1.0	1.0