Patent
1996-05-13
1999-04-20
Hafiz, Tariq R.
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
Altucher Rita Z.
Landi William A.
Chavis John Q.
Hafiz Tariq R.
Paschburg Donald B.
Siemens Corporate Research Inc.
LandOfFree
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.
Profile ID: LFUS-PAI-O-2254945