Method and system for interprocedural side effect analysis

Details Method and system for interprocedural side effect analysis Method and system for interprocedural side effect analysis

2006-06-13

2006-06-13

Chaki, Kakali (Department: 2193)

Data processing: software development, installation, and managem

Software program development tool

Translation of code

C717S155000, C717S151000, C717S154000, C717S157000, C717S141000, C717S156000

Reexamination Certificate

active

07062759

ABSTRACT:
Interprocedural side-effect analysis is performed by constructing a fixed-point problem graph for each translation unit of a software program having a plurality of separately compilable components. The method performs analyzing each routine, of a software program having a plurality of separately compilable routines, to create a plurality of local side-effect problems for each routine; and merging the local side-effect problems to create a global side-effect problem.

REFERENCES:
patent: 5485616 (1996-01-01), Burke et al.
patent: 5671419 (1997-09-01), Carini et al.
patent: 5790866 (1998-08-01), Robison
patent: 6173444 (2001-01-01), Archambault
patent: 6427234 (2002-07-01), Chambers et al.
patent: 6721945 (2004-04-01), Sinha
patent: 6820253 (2004-11-01), Robison
patent: 2002/0010911 (2002-01-01), Cheng et al.
Hind et al., Interprocedural Pointer Alias Analysis, Jul. 1999, ACM.
Cooper et al., Interprocedural Side-Effect Analysis in Linear Time, Jun. 1988, ACM.
Cooper et al., The Impact of Interprocedural Analysis and Optimization in the Rn Programming Environment, 1986, ACM.
Cheng et al., A Practical Interprocedural Pointer Analysis Framework, Apr. 1999, Univ. of Illinois.
Atkinson et al., Effective Whole-Program Analysis in the Presence of Pointers, 1998, ACM.
Lakhotia, Constructing call multigraphs using dependence graphs, 1993, ACM.
Liu et al., Eliminating Two Kinds of Data Flow Inaccuracy in the Presence of Pointer Aliasing, 1997, IEEE.
Harrold et al., Separate Computation of Alias Information for Reuse, 1996, IEEE.
Boyer et al., Efficient Implementation of Lattice Operations, ACM, 1989.
Grove et al., Call Graph Construction in Object-Oriented Language, OOPSLA, 1997.
Murphy et al., Program Analysis with Partial Transfer Functions, ACM, 2000.
Hassan et al—Jan. 1989—Efficient Implementation of Lattice Operations—ACM Transactions on Programming Languages and Systems, vol. 11, No. 1, pp. 115-146.

Affiliated with

Also associated with

Rating

Method and system for interprocedural side effect 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 system for interprocedural side effect analysis, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for interprocedural side effect analysis will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-3629297