Abstract
The data dependences irrelevant to program slicing should be calculated in traditional static program slicing algorithms based on PDG and SDG. To deal with this problem, a new fast algorithm for interprocedural static slicing is proposed in this paper, in which the program is represented as idUCF 5-tuple structure according to TOKEN and the information about control-flow of compound statement, and the interprocedural static slicing is calculated without using of intermediate representation of program, such as PDG and SDG. Experimental results show that the proposed method takes the information about function call into full account, reduces time and space complexity and ensures the integrity of static slicing for program with multi-nested structure. The algorithm only calculates the data dependence, control dependence and function call relevant to slicing. Thus, it has a low computation complexity.
| Original language | English |
|---|---|
| Pages (from-to) | 25-31 |
| Number of pages | 7 |
| Journal | Harbin Gongye Daxue Xuebao/Journal of Harbin Institute of Technology |
| Volume | 47 |
| Issue number | 5 |
| DOIs | |
| State | Published - 30 May 2015 |
| Externally published | Yes |
Keywords
- Control dependence
- Data dependence
- Static slicing
- System dependence graph
- TOKEN
Fingerprint
Dive into the research topics of 'A new fast algorithm for interprocedural static slicing'. Together they form a unique fingerprint.Cite this
- APA
- Author
- BIBTEX
- Harvard
- Standard
- RIS
- Vancouver