Methods for distinguishing dynamically allocated storage along different call paths and for providing a compact representation of alias analysis
US5535394A · kind A · utility
22Cited by
9References
4Claims
0Family size
Assignee
Inventors
Key dates
| Filing date | Oct 10, 1995 |
| Grant date | Jul 9, 1996 |
| Priority date | — |
| Expiry date | Oct 10, 2015 |
Classification
- Technology area (CPC G)Physics
- CPC primaryG06F8/434
- WIPO fieldComputer technology
- WIPO sectorElectrical engineering
Abstract
The invention provides a method for improving the precision of interprocedural alias analysis by efficiently qualifying (naming) dynamically allocated storage locations with call path information and identifying as identical qualified name pairs, one of which is a prefix substring of another. The invention also provides a compact method for representing alias information which improves the efficiency and in some cases, the precision, of alias analysis, by eliminating alias relations that involve more than one level of dereferencing and by eliminating all alias relations that do not contain at least one dereferenced object.
Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.