The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Apr. 22, 2014
Filed:
Oct. 03, 2011
Gogul Balakrishnan, Princeton, NJ (US);
Naoto Maeda, Lawrenceville, NJ (US);
Franjo Ivancic, Princeton, NJ (US);
Nishant Sinha, Plainsboro, NJ (US);
Aarti Gupta, Princeton, NJ (US);
Jing Yang, Charlottesville, VA (US);
Gogul Balakrishnan, Princeton, NJ (US);
Naoto Maeda, Lawrenceville, NJ (US);
Franjo Ivancic, Princeton, NJ (US);
Nishant Sinha, Plainsboro, NJ (US);
Aarti Gupta, Princeton, NJ (US);
Jing Yang, Charlottesville, VA (US);
NEC Laboratories America, Inc., Princeton, NJ (US);
Abstract
A model is provided for transforming a program with a priori given class hierarchy that is induced by inheritance. An inheritance remover is configured to remove inheritance from a given program to produce an analysis-friendly program which does not include virtual-function pointer tables and runtime libraries associated with inheritance-related operations. The analysis-friendly program preserves the semantics of the given program with respect to a given class hierarchy. A clarifier is configured to identify implicit expressions and function calls and transform the given program into at least one intermediate program having explicit expressions and function calls.