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

摘要：

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

关键词：OpenMP、未指定行为、静态检测、回溯、C-Checker

所属期刊栏目：41

分类号：TP314(计算技术、计算机技术)

资助基金：国家863重大软件专项2002AA1Z2101,2004AA1Z2210

在线出版日期：2008-05-12（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：491-498