Precise call graph construction in the presence of function pointers
- 26 June 2003
- conference paper
- Published by Institute of Electrical and Electronics Engineers (IEEE)
Abstract
No abstract availableThis publication has 14 references indexed in Scilit:
- Ultra-fast aliasing analysis using CLAPublished by Association for Computing Machinery (ACM) ,2001
- Modular interprocedural pointer analysis using access pathsPublished by Association for Computing Machinery (ACM) ,2000
- Off-line variable substitution for scaling points-to analysisPublished by Association for Computing Machinery (ACM) ,2000
- Unification-based pointer analysis with directional assignmentsPublished by Association for Computing Machinery (ACM) ,2000
- Scalable context-sensitive flow analysis using instantiation constraintsPublished by Association for Computing Machinery (ACM) ,2000
- Fast and accurate flow-insensitive points-to analysisPublished by Association for Computing Machinery (ACM) ,1997
- 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
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994