Computing Procedure Summaries for Interprocedural Analysis
No abstract available.
Related papers
- Hybrid top-down and bottom-up interprocedural analysis PLDI 2014
- Parallelizing top-down interprocedural analyses PLDI 2012
- Calling context abstraction with shapes POPL 2011
- Summarizing procedures in concurrent programs POPL 2004
- A relational approach to interprocedural shape analysis TOPLAS 2010
- Precise interprocedural analysis using random interpretation POPL 2005
- Interprocedural Shape Analysis Using Separation Logic-Based Transformer Summaries SAS 2020
- A Precise Interprocedural Data Flow Algorithm POPL 1981