Data processing: software development – installation – and managem – Software program development tool – Translation of code
Reexamination Certificate
2004-03-02
2010-02-23
Kang, Insun (Department: 2193)
Data processing: software development, installation, and managem
Software program development tool
Translation of code
C717S146000, C717S151000, C717S154000, C717S156000, C717S157000
Reexamination Certificate
active
07669193
ABSTRACT:
A method for analyzing a program is provided. The method includes, determining an object type that may exist at an execution point of the program, wherein this enables determination of possible virtual functions that may be called; creating a call graph at a main entry point of the program; and recording an outgoing function call within a main function. The method also includes analyzing possible object types that may occur at any given instruction from any call path for virtual calls, wherein possible object types are determined by tracking object types as they pass through plural constructs; and calling into functions generically for handling specialized native runtime type information.
REFERENCES:
patent: 5493675 (1996-02-01), Faiman et al.
patent: 5577253 (1996-11-01), Blickstein
patent: 5613117 (1997-03-01), Davidson et al.
patent: 5671419 (1997-09-01), Carini et al.
patent: 5836014 (1998-11-01), Faiman, Jr.
patent: 5862384 (1999-01-01), Hirai
patent: 6115811 (2000-09-01), Steele, Jr.
patent: 6219832 (2001-04-01), Buzbee
patent: 6381735 (2002-04-01), Hunt
patent: 6446258 (2002-09-01), McKinsey et al.
patent: 6473897 (2002-10-01), Ansari et al.
patent: 6519765 (2003-02-01), Kawahito et al.
patent: 6546551 (2003-04-01), Sweeney et al.
patent: 6662359 (2003-12-01), Berry et al.
patent: 6848111 (2005-01-01), Schwabe et al.
patent: 6957422 (2005-10-01), Hunt
patent: 7003507 (2006-02-01), Tip et al.
patent: 7069548 (2006-06-01), Kushlis
patent: 7228532 (2007-06-01), Shaylor et al.
patent: 7240343 (2007-07-01), Ogasawara
On Reducing Interprocess Communication Overhead in Concurrent Programs, Erik Stenman et al, ACM, 2002, 6 pages.
A Study of Exception Handling and Its Dynamic Optimization in Java, Takeshi Ogasawara et al, ACM 2001, pp. 83-95.
Exception Analysis for Non-Strict Languages, Kevin Glynn, ACM, 2002, pp. 98-109.
Fast Static Analysis of C++ Virtual Function Calls, David F. Bacon et al, ACM, 1996, pp. 324-341.
Dynamic Optimistic Interprocedural Analysis a Framework and An Application, Igor Pechtchanski et al, 16 pages, Dec. 2001.
By Advanced Compiler Design & Implementation, Steven S. Muchnick, Aug. 19, 1997., pp. 43-44, 230, 329-331,609-618.
S. Bhakthavatsalam, “Measuring the Perceived Overhead Imposed by Object-Oriented Programming in a Real-time Embedded System”, Blacksburg, VA, May 16, 2003.
D. F. Bacon and Peter F. Sweeney, “Fast Static Analysis of C++ Virtual Function Calls”, IBM Watson Research Center.
I. Pechtchanski and V. Sarkar, in “Dynamic Optimistic Interprocedural Analysis: a Framework and an Application”.
Kang Insun
Lantronix, Inc.
Rutan & Tucker LLP
Sayed Hani Z.
LandOfFree
Program transformation using flow-sensitive type constraint... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Program transformation using flow-sensitive type constraint..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Program transformation using flow-sensitive type constraint... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-4162512