A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join
No abstract available.
Related papers
- Context-Sensitive Interprocedural Points-to Analysis in the Presence of Function Pointers PLDI 1994
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack ESOP 2011
- Interprocedural Dataflow Analysis in the Presence of Large Libraries CC 2006
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006
- A schema for interprocedural modification side-effect analysis with pointer aliasing TOPLAS 2001
- A Safe Approximate Algorithm for Interprocedural Pointer Aliasing PLDI 1992
- Interprocedural Data Flow Analysis in the Presence of Pointers, Procedure Variables and Label Variables POPL 1980
- A framework for interprocedural optimization in the presence of dynamic class loading PLDI 2000