In a general application, a called procedure runs in the same address space and results are returned to the calling procedure.
在一般的应用程序中，被调用的过程在相同的地址空间中运行，并把结果返回给发出调用的过程。
In a CFG the node representing a procedure call may be linked to the CFG of the called procedure, thereby creating interprocedural CFG.
在一个CFG中表示过程调用的结点可能链接到它所调用的过程的CFG，由此产生过程间CFG。
Specifies that an argument is passed in such a way that the called procedure or property cannot change the value of a variable underlying the argument in the calling code.
指定按如下方式传递参数：被调用的过程或属性不能更改调用它的代码中参数下面的变量的值。
Through computing the lvalue of an expression in the points-to graph, we get all the modified memory locations. Thus we can get all the expressions that may be modified in the called procedure.
该算法通过计算表达式在指向图中的左值，得到所有可能被修改的内存位置，从而计算出所有可能在被调用过程中被修改的表达式。
Through computing the lvalue of an expression in the points-to graph, we get all the modified memory locations. Thus we can get all the expressions that may be modified in the called procedure.
该算法通过计算表达式在指向图中的左值，得到所有可能被修改的内存位置，从而计算出所有可能在被调用过程中被修改的表达式。
应用推荐