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
- Businesses, Investors Pressing for Green Policy
- E-scrap Recyclers Find Profits in Upgrades
- 'The Voice' Sounds Different This Season
- Congress Casts a Coy Vote on ISIS War
- At Groupon, Not a Good Deal of Workplace Diversity
- Lower Used-Car Prices Roil the Auto Industry
- Porn Lovers Get a New Search Engine
- Liberty Power Helps USHCC Go Green
- Utah Hosts US Hispanic Chamber of Commerce Meeting
- NSHMBA to Rebrand With New Name, Logo