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

摘要

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