Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2007-08-22
2011-11-08
Dam, Tuan (Department: 2192)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
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.
Chan Edwin
Silvera Raul E.
Chen Xi D
Dam Tuan
International Business Machines - Corporation
Mims Jr. David A.
Yee & Associates P.C.
LandOfFree
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.
Profile ID: LFUS-PAI-O-4272495