The assignee for this patent, patent number 8819644, is
Reporters obtained the following quote from the background information supplied by the inventors: "The present invention relates to computer software analysis and testing.
"The term 'static analysis' as it relates to computer software typically refers to analysis of the instructions of a computer software application that does not rely on the run-time execution of the application. Static analysis of an application is said to be 'sound' if it considers all possible application behavior relevant to the analysis. In one type of static analysis, known as data-flow analysis, a graph is determined of a computer software application's control flows, and information is gathered about the possible values of variables at various points within the application, where the graph is used to determine those parts of the application to which data assigned to a particular variable might flow.
"It is well known that once an application has been statically analyzed, any changes subsequently made to the application instructions may affect the soundness of the analysis results. Thus, for example, if an application instruction is deleted, the soundness of the analysis results may be called into question if any data flows identified during the static analysis depended in any way on the deleted instruction. While reanalyzing an entire application each time changes are made to the application instructions assures continuously sound analysis results, the time and computational requirements of doing so may be great, especially for applications with large code bases."
In addition to obtaining background information on this patent, VerticalNews editors also obtained the inventors' summary information for this patent: "In one aspect of the disclosure can perform data flow analysis of a computer software application. In this aspect, for a data flow analysis type, at least one processor executing code can identify within a computer software application code base a plurality of seeds relating to the data flow analysis type. For each of the plurality of seeds, at least one processor executing code can define a portion of the computer software application code base to a predefined depth of calls backward from the seed and to a predefined depth of calls forward from the seed, thereby resulting in a plurality of bounded portions of the computer software application code base. A change in the computer software application code base can be detected. A data flow analysis relating to the data flow analysis type can be performed on any of the bounded portions affected by the change.
"Systems and computer-program products embodying the invention are also provided."
For more information, see this patent:
Keywords for this news article include:
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
- 'The Voice' Sounds Different This Season
- Congress Casts a Coy Vote on ISIS War
- Investors Fret Yahoo's Future, Stock Dips
- E-scrap Recyclers Find Profits in Upgrades
- Lower Used-Car Prices Roil the Auto Industry
- At Groupon, Not a Good Deal of Workplace Diversity
- Utah Hosts US Hispanic Chamber of Commerce Meeting
- Porn Lovers Get a New Search Engine
- NSHMBA to Rebrand With New Name, Logo