通过变量赋值和作用域分析对中间表示进行编译器优化

描述了一种用于对源代码(402)进行静态分析(301)的计算装置(900)，所述计算装置用于：获取所述源代码的抽象代码表示(204a)；根据所述抽象代码表示生成连接图(701)，其中，所述连接图(701)表示所述源代码(402)中的构造之间的连接；确定所述连接图(701)中的一个或多个节点(601)的逃逸作用域(602、603)，其中，所述连接图(701)中的所述节点(601)对应于所述源代码(402)中的所述构造；通过所述连接图(701)传播所述一个或多个节点(601)的逃逸情况，以生成优化连接图(205a、705)，其中，所述逃逸情况基于所述一个或多个节点(601)的所述逃逸作用域。由此，基于节点的逃逸作用域的优化连接图即可以用于优化编译器(404)。