基于JavaSDG的Java程序参数依赖性分析

摘要：

基于一种带有标签的Java程序描述(JavaSDG),给出JavaSDG中的过程依赖图(PDG)的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系.并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点.

关键词：程序分析、Java程序、依赖分析

所属期刊栏目：25

分类号：TP311.5(计算技术、计算机技术)

在线出版日期：2009-04-30（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：26-29