Points-to analysis by type inference of programs with structures and unions
- 1 January 1996
- book chapter
- Published by Springer Nature
- p. 136-150
- https://doi.org/10.1007/3-540-61053-7_58
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Context-insensitive alias analysis reconsideredPublished by Association for Computing Machinery (ACM) ,1995
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- Flow-insensitive interprocedural alias analysis in the presence of pointersPublished by Springer Nature ,1995
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Value dependence graphsPublished by Association for Computing Machinery (ACM) ,1994
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- Efficient flow-sensitive interprocedural computation of pointer-induced aliases and side effectsPublished by Association for Computing Machinery (ACM) ,1993
- Efficient type inference for higher-order binding-time analysisPublished by Springer Nature ,1991
- Analysis of pointers and structuresPublished by Association for Computing Machinery (ACM) ,1990