-
公开(公告)号:CN102402479B
公开(公告)日:2015-09-16
申请号:CN201110306939.7
申请日:2011-09-27
Applicant: 微软技术许可有限责任公司
IPC: G06F11/36
CPC classification number: G06F11/3608 , G06F8/443 , G06F8/75
Abstract: 一种用于静态分析的中间表示结构。对源或程序代码的中间表示的分析。访问并静态地分析源或程序代码的初始中间表示的初始版本。对于该初始版本的一个或多个部分,分析组件查询提供了与该部分相对应的补充中间表示的分析时间解决组件。该补充的中间表示提供了有关该部分的进一步的清晰性,并且还被分析。如果找到缺陷,就报告它们。