Back to results
US 2002/0162096 A1Published application
Pruning local graphs in an inter-procedural analysis solver
AssigneeIntel Corporation
InventorArch D. Robison
Life of this patent
Estimating the term…
Abstract
The present invention is a method and system to reduce storage in a inter-procedural analysis solver. In one embodiment, local graphs are pruned. The local graphs represent local problems, which correspond to separately compilable components in a software program. Each of the local graphs has edges and vertices. Each edge has a transfer function. Each vertex has a value. Values of the local graph form a lattice under a partial ordering.
Claims38
A method comprising:
- pruning local graphs representing local problems, the local problems corresponding to separately compilable components in a software program, each of the local graphs having edges and vertices, each edge having a transfer function, each vertex having a value, values of each of the local graph forming a lattice under a partial ordering.
A computer program product comprising:
- a machine useable medium having computer program code embedded therein, the computer program product having:
- computer readable program code to prune local graphs representing local problems, the local problems corresponding to separately compilable components in a software program, each of the local graphs having edges and vertices, each edge having a transfer function, each vertex having a value, values of each of the local graph forming a lattice under a partial ordering.
A system comprising:
- a processor;
- and
- a memory coupled to the processor to store instruction code, the instruction code, when executed by the processor, causing the processor to:
- prune local graphs representing local problems, the local problems corresponding to separately compilable components in a software program, each of the local graphs having edges and vertices, each edge having a transfer function, each vertex having a value, values of each of the local graph forming a lattice under a partial ordering.
1 more element
Dependencies are inferred from the claim text.