Interprocedural Dataflow Analysis in the Presence of Large Libraries
No abstract available.
Related papers
- IDE Dataflow Analysis in the Presence of Large Object-Oriented Libraries CC 2008
- Interprocedural Dataflow Analysis in an Executable Optimizer PLDI 1997
- Precise Interprocedural Dataflow Analysis via Graph Reachability POPL 1995
- Weighted Pushdown Systems and Their Application to Interprocedural Dataflow Analysis SAS 2003
- Interprocedural analysis of asynchronous programs POPL 2007
- Precise Interprocedural Analysis in the Presence of Pointers to the Stack ESOP 2011
- A Correspondence between Two Approaches to Interprocedural Analysis in the Presence of Join ESOP 2014
- Efficient Flow-Sensitive Interprocedural Data-Flow Analysis in the Presence of Pointers CC 2006