Method and apparatus for doing program analysis

Details Method and apparatus for doing program analysis Method and apparatus for doing program analysis

2006-10-03

2006-10-03

Chaki, Kakali (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

Reexamination Certificate

active

07117490

ABSTRACT:
The invention provides a method and apparatus for doing program analysis. According to embodiments of the invention program analysis comprises assigning an alias to each equivalence class of possibly overlapping memory accesses as defined by an alias analysis of an intermediate language program; and defining a definition-use relationship between statements in each equivalence class wherein definition statements which belong to the equivalence class reference the alias associated with that class, and wherein use statements which belong to the equivalence class reference the alias associated with for that class. The invention also provides a program analysis algorithm which utilizes a dependence flow graph having the property that the edge cardinality is independent of the definition-use of structure the program being analyzed.

REFERENCES:
patent: 5107418 (1992-04-01), Cramer et al.
patent: 5448737 (1995-09-01), Burke et al.
patent: 5485616 (1996-01-01), Burke et al.
patent: 5535394 (1996-07-01), Burke et al.
patent: 6014518 (2000-01-01), Steensgaard
patent: 6173444 (2001-01-01), Archambault
Pande et al., “Interprocedural Def-Use Association in C Programs”, Proceedings of the symposium on Testing, analysis, and verification, pp. 139-153, Oct. 1991.
Harrold et al., “Efficient Computation of Interprocedural Definition-Use Chains”, ACM Transactions on Programming Languages and Systems (TOPLAS), vol. 16 Issue 2, Mar. 1994, pp. 175-204.
Landi et al., “A Safe Approximate Algorithm for Interprocedural Pointer Aliasing”, ACM SIGPLAN Notices, v.27 n. 7, p. 235-248, Jul. 1992.
Lin-Pheng Ni et al., Flow-Sensitive Interprocedural Pointer Induced Alias Analysis, 1997, National Chung Cheng University, pp. 1-14, url: <www.cs.ccu.edu.tw/˜naiwei/CTHPC97.pdf>.

Affiliated with

Also associated with

Rating

Method and apparatus for doing program analysis does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Method and apparatus for doing program analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for doing program analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3625528