News Column

Patent Issued for Static Analysis of Computer Software Applications

August 21, 2014

By a News Reporter-Staff News Editor at Computer Weekly News -- According to news reporting originating from Alexandria, Virginia, by VerticalNews journalists, a patent by the inventors Pistoia, Marco (Hawthorne, NY); Tripp, Omer (Herzelyia, IL), filed on March 5, 2012, was published online on August 5, 2014.

The assignee for this patent, patent number 8799874, is International Business Machines Corporation (Armonk, NY).

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: Pistoia, Marco; Tripp, Omer. Static Analysis of Computer Software Applications. U.S. Patent Number 8799874, filed March 5, 2012, and published online on August 5, 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