首页>
外国专利>
Scalable propagation-based methods for call graph construction
Scalable propagation-based methods for call graph construction
展开▼
机译:基于可扩展的基于传播的调用图构造方法
展开▼
页面导航
摘要
著录项
相似文献
摘要
A program storage device, readably by a machine, tangibly embodying instructions to perform method steps for constructing a call graph whereby for each method M, a set of types SM of objects that may occur in method M is determined for each field F, a set of types SF of objects is determined that may be stored in field F, the method comprising: determining the allocation sites inside the body of method M; determining the set of directly called methods M′ inside the body of method M; and determining the set of virtually called methods M″ inside the body of method M.
展开▼
机译:程序可读的程序存储设备,其有形地体现了用于执行构造调用图的方法步骤的指令,从而对于每个方法M,方法M中可能出现的一组对象类型S M Sub>为每个字段F确定,确定一组可以存储在字段F中的对象的类型S F Sub>,该方法包括:确定方法M的主体内的分配位;在方法M的主体内确定直接调用的方法M'的集合;并在方法M的主体内确定虚拟调用的方法M''的集合。
展开▼