The effects of the precision of pointer analysis
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
Abstract
No abstract availableKeywords
This publication has 13 references indexed in Scilit:
- Points-to analysis in almost linear timePublished by Association for Computing Machinery (ACM) ,1996
- Efficient context-sensitive pointer analysis for C programsPublished by Association for Computing Machinery (ACM) ,1995
- Precise interprocedural dataflow analysis via graph reachabilityPublished by Association for Computing Machinery (ACM) ,1995
- Efficient detection of all pointer and array access errorsPublished by Association for Computing Machinery (ACM) ,1994
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Interprocedural modification side effect analysis with pointer aliasingPublished by Association for Computing Machinery (ACM) ,1993
- Interprocedural slicing using dependence graphsACM Transactions on Programming Languages and Systems, 1990
- Program SlicingIEEE Transactions on Software Engineering, 1984
- Data Structures and Network AlgorithmsPublished by Society for Industrial & Applied Mathematics (SIAM) ,1983
- A unified approach to global program optimizationPublished by Association for Computing Machinery (ACM) ,1973