Methods for enhancing pointer analyses

Details Methods for enhancing pointer analyses Methods for enhancing pointer analyses

2004-06-14

2009-02-24

Kiss, Eric B (Department: 2192)

Data processing: software development, installation, and managem

Software program development tool

Testing or debugging

C717S151000, C717S154000, C717S155000, C717S156000

Reexamination Certificate

active

07496894

ABSTRACT:
Methods are described that enhance pointer analysis for programs. Whereas previous methods are constrained by the extremes of an inverse relationship between time and information, the present methods selectively unify information so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes selectively retaining information at a first order of indirection based on variables in an assignment statement while unifying information at subsequent orders of indirection. The methods are used for pointer variables, but are equally useful to function definitions, function calls, function pointers, indirect function calls, and others. The methods may be used in client analysis tools such as code browsers and slicing tools.

REFERENCES:
patent: 6014518 (2000-01-01), Steensgaard
patent: 6072950 (2000-06-01), Steensgaard
patent: 7003760 (2006-02-01), Das
patent: 2004/0003382 (2004-01-01), Steensgaard
Bjarne Steensgaard, “Points-to Analysis in Almost Linear Time”, 1996, ACM, pp. 32-41.
Manuvir Das, “Unification-based Pointer Analysis with Directional Assignments”, 2000 ACM, pp. 1-12.

Affiliated with

Also associated with

Rating

Methods for enhancing pointer analyses does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Methods for enhancing pointer analyses, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Methods for enhancing pointer analyses will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFUS-PAI-O-4072432