News Column

Patent Issued for Static Analysis of Computer Software Applications

July 3, 2014

By a News Reporter-Staff News Editor at Computer Weekly News -- From Alexandria, Virginia, VerticalNews journalists report that a patent by the inventors Pistoia, Marco (Hawthorne, NY); Tripp, Omer (Herzelyia, IL), filed on September 30, 2011, was published online on June 17, 2014.

The patent's assignee for patent number 8756587 is International Business Machines Corporation (Armonk, NY).

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: Pistoia, Marco; Tripp, Omer. Static Analysis of Computer Software Applications. U.S. Patent Number 8756587, filed September 30, 2011, and published online on June 17, 2014. Patent URL:

Keywords for this news article include: Software, International Business Machines Corporation.

Our reports deliver fact-based news of research and discoveries from around the world. Copyright 2014, NewsRx LLC

For more stories covering the world of technology, please see HispanicBusiness' Tech Channel

Source: Computer Weekly News

Story Tools Facebook Linkedin Twitter RSS Feed Email Alerts & Newsletters