Pruning local graphs in an inter-procedural analysis solver
US7165245B2 · kind B2 · utility
3Cited by
6References
39Claims
0Family size
Assignee
Inventor
Key dates
| Filing date | Apr 27, 2001 |
| Grant date | Jan 16, 2007 |
| Priority date | — |
| Expiry date | Apr 8, 2023 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/43
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
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.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.