制定语义基线

摘要

本文描述了涉及制定语义基线的各技术。基于对基线程序进行的第一静态分析推断出基线程序的正确性条件。随后将这些正确性条件插入到对基线程序的修订中。当对其中插入有正确性条件的经修订程序进行第二静态分析时，抑制从基线程序继承的警告，同时向开发者显露由这些修订引起的警告。

主权项

一种方法，包括：接收计算机程序的第一版本；对所述计算机程序的所述第一版本执行第一静态分析，其中执行所述第一静态分析包括：标识所述计算机程序的所述第一版本中与所述计算机程序的所述第一版本中的第一位置相对应的警告；以及推断使得所述警告在所述计算机程序的所述第一版本中被抑制的条件；接收所述计算机程序的第二版本，所述计算机程序的所述第二版本与所述计算机程序的所述第一版本不相同；以及将所述条件的假设插入所述计算机程序的所述第二版本。