Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Manuvir Das0
Jakob Rehof0
Manuel A. Fahndrich0
Date of Patent
March 3, 2009
0Patent Application Number
108346800
Date Filed
April 29, 2004
0Patent Primary Examiner
Patent abstract
Methods and structures are described that enhance flow analysis for programs. Whereas previous methods are complicated by the presence of function pointers, the present methods present a framework that abstracts function pointers as if they were any other program expressions so as to allow a desired level of analytical decision within a desired duration of analysis. One aspect of the present invention includes inferring types from a program, forming a type graph from the types, and forming a flow graph from the type graph to inhibit imprecise paths so as to enhance context-sensitivity of flow analysis. The methods may be used in any analysis tools such as code browsers and slicing tools.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
