Method and system for program transformation using flow-sensitive type constraint analysis
US8141064B2 · kind B2 · utility
Assignee
Inventor
Key dates
| Filing date | Dec 11, 2008 |
| Grant date | Mar 20, 2012 |
| Priority date | — |
| Expiry date | Aug 4, 2030 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F9/4488
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.