The ant and the grasshopper
- 10 June 2007
- conference paper
- conference paper
- Published by Association for Computing Machinery (ACM) in Proceedings of the 2007 ACM SIGPLAN conference on Programming language design and implementation - PLDI '07
- Vol. 42 (6), 290-299
- https://doi.org/10.1145/1250734.1250767
Abstract
No abstract availableKeywords
This publication has 23 references indexed in Scilit:
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of PointersLecture Notes in Computer Science, 2006
- Error checking with client-driven pointer analysisScience of Computer Programming, 2005
- Improving software security with a C pointer analysisPublished by Association for Computing Machinery (ACM) ,2005
- Symbolic pointer analysis revisitedPublished by Association for Computing Machinery (ACM) ,2004
- Cloning-based context-sensitive pointer alias analysis using binary decision diagramsPublished by Association for Computing Machinery (ACM) ,2004
- Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer AnalysisLecture Notes in Computer Science, 2004
- Points-to analysis using BDDsPublished by Association for Computing Machinery (ACM) ,2003
- Interprocedural pointer alias analysisACM Transactions on Programming Languages and Systems, 1999
- Context-sensitive interprocedural points-to analysis in the presence of function pointersPublished by Association for Computing Machinery (ACM) ,1994
- Depth-First Search and Linear Graph AlgorithmsSIAM Journal on Computing, 1972