公开(公告)号：CN105283853A

公开(公告)日：2016-01-27

申请号：CN201480026218.2

申请日：2014-05-08

Applicant: 微软技术许可有限责任公司

Inventor： M·范德瑞 ,  S·拉希瑞 ,  F·洛戈佐 ,  S·布莱克谢尔

IPC: G06F11/36

CPC classification number: G06F8/71 ,  G06F8/75 ,  G06F11/3608

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

公开(公告)号：CN105283853B

公开(公告)日：2018-08-07

申请号：CN201480026218.2

申请日：2014-05-08

Applicant: 微软技术许可有限责任公司

Inventor： M·范德瑞 ,  S·拉希瑞 ,  F·洛戈佐 ,  S·布莱克谢尔

IPC: G06F11/36

CPC classification number: G06F8/71 ,  G06F8/75 ,  G06F11/3608

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