Unification-based pointer analysis with directional assignments
Author:
Open Access
- 1 May 2000
- conference paper
- Published by Association for Computing Machinery (ACM)
- p. 35-46
Abstract
No abstract availableThis publication has 15 references indexed in Scilit:
- Off-line variable substitution for scaling points-to analysis2000
- Projection merging2000
- Pointer analysis for programs with structures and casting1999
- Parametric shape analysis via 3-valued logic1999
- Partial online cycle elimination in inclusion constraint graphs1998
- Points-to analysis in almost linear time1996
- Is it a tree, a DAG, or a cyclic graph? A shape analysis for heap-directed pointers in C1996
- Efficient context-sensitive pointer analysis for C programs1995
- Context-sensitive interprocedural points-to analysis in the presence of function pointers1994
- A safe approximate algorithm for interprocedural aliasing1992