用于静态分析的中间表示结构

摘要

一种用于静态分析的中间表示结构。对源或程序代码的中间表示的分析。访问并静态地分析源或程序代码的初始中间表示的初始版本。对于该初始版本的一个或多个部分，分析组件查询提供了与该部分相对应的补充中间表示的分析时间解决组件。该补充的中间表示提供了有关该部分的进一步的清晰性，并且还被分析。如果找到缺陷，就报告它们。

主权项

一种包括在其上具有计算机可执行指令的一个或多个计算机存储介质的计算机程序产品，当所述计算机可执行指令由计算系统的一个或多个处理器执行时，使得所述计算系统执行以下动作：访问源或程序代码的中间表示的初始版本的动作；静态地分析所述中间表示的初始版本的动作；对于所述中间表示的初始版本的至少一部分，所述部分基于静态分析受不确定性的影响，执行下述动作：向分析时间解决组件查询所述中间表示的所述部分的清晰度的动作；以及响应于所述查询，接收补充的中间表示的动作；以及分析所述补充的表示的动作。