Partition based alias analyzer for pointers

Patent

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

G06F 944

Patent

active

058965378

ABSTRACT:
An apparatus that provides for the safe and efficient alias analysis for programs written in programming languages which use pointers combines a representation generator with a partitioned based alias analyzer and provides safe alias solutions using partitions to consumers of alias solutions. The source code of the program to be analyzed enters a parser of the representation generator and an abstract syntax tree representation of the syntactic structure of the source program is derived Next, a control flow graph (CFG) builder within the representation generator derives the program's control flow graph for the abstract syntax tree. The control flow graph is then used by the partition based alias analyzer which is divided into three phases; phase one--type one alias effects, phase two--type two alias effects and phase three--function pointer effects, to produce safe alias solutions using partitions.

REFERENCES:
patent: 5161216 (1992-11-01), Reps 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: 5644709 (1997-07-01), Austin

LandOfFree

Say what you really think

Search LandOfFree.com for the USA inventors and patents. Rate them and share your experience with other people.

Rating

Partition based alias analyzer for pointers does not yet have a rating. At this time, there are no reviews or comments for this patent.

If you have personal experience with Partition based alias analyzer for pointers, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Partition based alias analyzer for pointers will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-2254945

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.