The patent's assignee for patent number 8756587 is
News editors 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."
As a supplement to the background information on this patent, VerticalNews correspondents 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 additional information on this patent, see:
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
- National Retail Federation Reduces Sales Forecast
- Xavier Gutierrez Appointed to Bank Board
- Long-term Strengths Emerge in U.S. Economy
- Honda' s Accord Plug-in Hybrid Is a Fuel Miser
- Weekly Jobless Claims Drop to Lowest Level in 8 Years
- Naya Rivera and Ryan Dorsey Are Married
- Amazon Fire Phone Improves on Familiar: Review
- Self-Induced Abortions Rise After Texas Closes Clinics
- Marco Rubio Swings Back to the Right
- Comic-Con Festival Kicks Off in San Diego