Precise Interprocedural Analysis in the Presence of Pointers to the Stack
No abstract available.
Related papers
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- Efficient Flow-Sensitive Interprocedural Computation of Pointer-Induced Aliases and Side Effects POPL 1993
- A Safe Approximate Algorithm for Interprocedural Pointer Aliasing PLDI 1992
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006
- Context-Insensitive Alias Analysis Reconsidered PLDI 1995
- Pointer Analysis for Multithreaded Programs PLDI 1999
- Interprocedural pointer alias analysis TOPLAS 1999