| 摘要: |
| 基于一种带有标签的Java程序描述(JavaSDG),给出JavaSDG中的过程依赖图(PDG)的形式化定义,然后分析Java程序方法调用引起的参数之间的依赖关系。并比较基于SDG和基于JavaSDG两种程序分析方法的异同,基于JavaSDG的Java程序分析方法构造的PDG具有结点少、可以重用、可以并发构造等优点。 |
| 关键词: 程序分析 Java程序 依赖分析 |
| DOI： |
| 投稿时间：2008-07-22 |
| 基金项目: |
|
| Program Parameter Dependence Analysis for Java Based on JavaSDG |
|
JIANG Cao-qing
|
| (Department of Computer and Information Management, Guangxi University of Financial and Economics, Nanning, Guangxi, 530003, China) |
| Abstract: |
| Based on a representation for Java program with tags JavaSDG, this paper gives out formal definition of PDG in JavaSDG and analyzes parameter dependence for Java program method calling. Moreover advantages differences of the two approaches between SDG-based and JavaSDG-based are discussed. The Java program analysis based on JavaSDG are fewer nodes of PDG, repeated use of PDG, etc. |
| Key words: program analysis Java program dependence analysis |
