Bottom-Up and Top-Down Context-Sensitive Summary-Based Pointer Analysis
Abstract elided by the publisher.
Related papers
- Parallelizing top-down interprocedural analyses PLDI 2012
- Hybrid top-down and bottom-up interprocedural analysis PLDI 2014
- Evaluating Design Tradeoffs in Numeric Static Analysis for Java ESOP 2018
- Generalized Points-to Graphs: A Precise and Scalable Abstraction for Points-to Analysis TOPLAS 2020
- Bottom-Up Context-Sensitive Pointer Analysis for Java APLAS 2015
- Modularity in Lattices: A Case Study on the Correspondence Between Top-Down and Bottom-Up Analysis SAS 2015
- Proofs about a Folklore Let-Polymorphic Type Inference Algorithm TOPLAS 1998
- Top-Down or Bottom-Up? Complexity Analyses of Synchronous Multiparty Session Types POPL 2025