Hybrid dependency analysis using dynamic and static analyses
AssigneeInternational Business Machines Corporation
InventorOmer Tripp
Life of this patent
Estimating the term…
Abstract
A method, computer program product, and system for performing a hybrid dependency analysis is described. According to an embodiment, a method may include computing, by one or more computing devices, one or more dynamic hints based on a finite set of executions of a computer program. The method may further include performing, by the one or more computing devices, a hybrid dependence analysis of one or more statements of the computer program.
Claims17
-8. (canceled)
A computer program product residing on a non-transitory computer readable storage medium having a plurality of instructions stored thereon, which, when executed by a processor, cause the processor to perform operations comprising:
- computing one or more dynamic hints based on a finite set of executions of a computer program;
- performing a hybrid dependence analysis of one or more statements of the computer program, including performing a specialized static abstraction to create confidence in a result of one or more dependency queries, wherein the specialized static abstraction is based upon, at least in part, memory locations and the one or more dynamic hints;
- and
- normalizing the memory locations across different traces of the finite set of executions of the computer program based upon, at least in part, the specialized static abstraction.
(canceled)
A computing system comprising:
- at least one processor device;
- at least one memory architecture coupled with the at least one processor;
- a first software module executable by the at least one processor and the at least one memory architecture, wherein the first software module is configured to compute one or more dynamic hints based on a finite set of executions of the computer program;
- a second software module executable by the at least one processor and the at least one memory architecture, wherein the second software module is configured to perform a hybrid dependence analysis of one or more statements of a computer program, including performing a specialized static abstraction to create confidence in a result of one or more dependency queries, wherein the specialized static abstraction is based upon, at least in part, memory locations and the one or more dynamic hints;
- and
- a third software module executable by the at least one processor and the at least one memory architecture, wherein the third software module is configured to normalize the memory locations across different traces of the finite set of executions of the computer program based upon, at least in part, the specialized static abstraction.
(canceled)
Dependencies are inferred from the claim text.