The assignee for this patent, patent number 8799874, is
Reporters obtained the following quote from the background information supplied by the inventors: "The present invention relates to computer software analysis and testing.
"Factory methods present a difficult challenge for static analysis techniques that model run-time objects based on their allocation sites. For a model built using static analysis techniques to be finite, run-time objects allocated during program execution must be represented by a finite set of abstract elements, which is typically based on object allocation sites, where all objects allocated at the same site are modeled as a single partition in the abstract program heap. Thus, where a factory method has multiple invocations, where each invocation represents a different control flow path that results in a different instance of the same class, the different instances would nevertheless be modeled as a single abstract object."
In addition to obtaining background information on this patent, VerticalNews editors also obtained the inventors' summary information for this patent: "According to one embodiment of the present invention, a method, system, computer program product, and/or apparatus for performing static analysis of a computer software application. The embodiment can apply a first level of abstraction to model a plurality of run-time objects of a computer software application, thereby producing a set of object abstractions of the run-time objects. Static data-flow analysis of the computer software application can be performed using the set of object abstractions, thereby producing a first data-flow propagation graph, identifying a data-flow bottleneck within the data-flow propagation graph. A second level of abstraction can be applied to model any of the run-time objects having in the set of object abstractions a corresponding object abstraction that is traceable to the data-flow bottleneck. Applying the second level of abstraction can decompose the corresponding object abstraction into a plurality of object abstractions, thereby modifying the set of object abstractions. Static data-flow analysis of the computer software application can be performed using the modified set of object abstractions."
For more information, see this patent:
Keywords for this news article include: Software,
Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC
Most Popular Stories
- Toxic Algae Threatens Florida Fishing, Tourism
- Hispanic Groups Lead Voter Registration Drive
- Fed Signals It Will Keep Key Rate at Record Low
- Eva Mendes Gives Birth to a Baby Girl
- Stocks Rise Before Fed Statement
- Plus-Size iPhones Live Up to The Hype
- FedEx Adding 50,000 Holiday Jobs
- Occupy Wall Street Buys Up Student Debt
- Kohl's Hiring 67,000 for the Holidays
- Cool Features on Today's New iOS 8