US Patent 7500232 Methods for enhancing flow analysis
Patent 7500232 was granted and assigned to Microsoft on March, 2009 by the United States Patent and Trademark Office.
All edits
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.
US Patent 07500232 Methods for enhancing flow analysis US Patent 7500232 Methods for enhancing flow analysis
US Patent 07500232 Methods for enhancing flow analysis
Find more entities like US Patent 7500232 Methods for enhancing flow analysis
