公开(公告)号：CN105164642B

公开(公告)日：2019-02-19

申请号：CN201480014378.5

申请日：2014-03-11

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

Inventor： J·J·达菲 ,  J·P·帕森斯 ,  C·S·戈登 ,  A·D·布罗姆菲尔德 ,  M·塔耶费尔 ,  D·A·巴尔托落梅奥 ,  M·巴尼特

IPC: G06F9/4401

Abstract: 前端编译器将源代码编译成中间代码，该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时，对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化，以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此，该断言可以被操作中间代码的静态分析工具理解。

公开(公告)号：CN105164642A

公开(公告)日：2015-12-16

申请号：CN201480014378.5

申请日：2014-03-11

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

Inventor： J·J·达菲 ,  J·P·帕森斯 ,  C·S·戈登 ,  A·D·布罗姆菲尔德 ,  M·塔耶费尔 ,  D·A·巴尔托落梅奥 ,  M·巴尼特

IPC: G06F9/45

CPC classification number: G06F8/41 ,  G06F8/436 ,  G06F8/52 ,  G06F9/45512 ,  G06F9/54

Abstract: 前端编译器将源代码编译成中间代码，该中间代码之后被编译成二进制代码。源代码定义执行作用域并包括合同。当在执行作用域的运行时遇到合同时，对该执行作用域的进一步执行以与该合同相关联的断言是否为真作为条件。前端编译器操作以便保留合同从而使该合同在语义上继续被结构化，以使得可以从中间语言代码去除该断言。该合同可因此继续被合同的语义分析所理解。因此，该断言可以被操作中间代码的静态分析工具理解。