2 search results - page 1 / 1 » Level by level: making flow- and context-sensitive pointer a... |
CGO
2010
IEEE
13 years 11 months ago
2010
IEEE
We present a practical and scalable method for flow- and contextsensitive (FSCS) pointer analysis for C programs. Our method analyzes the pointers in a program level by level in ...
SAS
2001
Springer
13 years 9 months ago
2001
Springer
This paper addresses the following question: Do scalable control-flow-insensitive pointer analyses provide the level of precision required to make them useful in compiler optimiza...