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

摘要

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

主权项

一种用于静态分析中间表示的方法，包括：访问源或程序代码的中间表示的初始版本的动作；静态地分析所述中间表示的初始版本以标识在所述源或程序代码中的缺陷的动作；对于所述中间表示的初始版本的至少一部分，通过静态分析确定所述至少一部分受不确定性影响并且无法通过所述静态分析来单独基于所述中间表示推断出在所述至少一部分中发生的操作；对于所述中间表示的初始版本的受不确定性的影响且无法单独基于所述中间表示推断出发生的操作的所述至少一部分，执行下述动作：向分析时间解决组件查询所述中间表示的所述至少一部分的清晰度的动作；以及响应于所述查询，接收补充的中间表示的动作；以及分析所述补充的表示以用于缺陷标识的动作。