Method and apparatus for address taken refinement using...

Data processing: software development – installation – and managem – Software program development tool – Translation of code

Reexamination Certificate

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

C717S155000, C717S159000

Reexamination Certificate

active

08056066

ABSTRACT:
A computer implemented method, apparatus, and computer program product for obtaining aliasing information for a target variable in a computer program. A control flow graph representing the computer program is partitioned into an taken address portion that includes all reachable nodes in which an address of the target variable is taken and an untaken address portion that includes all other reachable nodes. All references to the target variable are replaced with a temporary variable in the untaken address portion. The target variable is initialized with the value from the temporary variable at each intermediary node in a set of intermediary nodes in the taken address portion. An intermediary node is a node at which an address of a target variable is taken. The aliasing information for the target variable is generated using the modified computer program.

REFERENCES:
patent: 5555412 (1996-09-01), Besaw et al.
patent: 5732192 (1998-03-01), Malin et al.
patent: 5768596 (1998-06-01), Chow et al.
patent: 5790866 (1998-08-01), Robison
patent: 5896537 (1999-04-01), Landi et al.
patent: 6045585 (2000-04-01), Blainey
patent: 6173444 (2001-01-01), Archambault
patent: 6457023 (2002-09-01), Pinter et al.
patent: 6925636 (2005-08-01), Haugen et al.
patent: 6970985 (2005-11-01), Moritz
patent: 7797691 (2010-09-01), Cockx et al.
patent: 2006/0059476 (2006-03-01), McIntosh et al.
patent: 2007/0124711 (2007-05-01), Jain et al.
Fred Chow, et al., “Effective Representation of Aliases and Indirect Memory Operations in SSA Form”, 1996, Lecture Notes in Computer Science, SpringerLink, pp. 253-267.
Barry K, Rosen, et al., “Global Value Numbers and Redundant Computations”, 1988, ACM, pp. 12-27.
Bowen Alpern, et al., “Detecting Equality of Variables in Programs”, 1988, ACM, pp. 1-11.
Michael Hind, et al., “Assessing the Effects of Flow-Sensitivity on Pointer Alias Analyses”, 1998, Springer-Verlag Berlin Heidelberg, pp. 57-81.
Paul R. Carini, Harini Srinivasan, Michael Hind, “Flow-Sensitive Type Analysis for C++”, IBM Research Report, 1995. [retrieved on Jun. 13, 2011], Retrieved from Internet<URL: http://www.research.ibm.com/people/h/hind20267.ps>; pp. 1-18.
Jong-Deok Choi, Michael Burke, Paul Carini, “Efficient Flow-Sensitive Interprocedural Computation of nter-Induced Aliases and Side Effects”, 1993, Procd. of the 20th ACM SIGPLAN-SIGACT symposium on Principles of programming languages; [retrieved on Jun. 13, 2011], Retrieved from Internet<URL: http://portal.acm.org/citation.cfm?id=158639>; pp. 232-245.
Postiff et al., “The Store-Load Address Table and Speculative Register Promotion”, Proceedings of the 33rd Annual IEEE/ACM International Symposium on Microarchitecture, MICRO-33 2000, Dec. 2000, Monterey California, pp. 235-244.

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

Method and apparatus for address taken refinement using... 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 address taken refinement using..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and apparatus for address taken refinement using... will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFUS-PAI-O-4272495

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