2025年11月26日
[论文笔记] Boomerang: Demand-Driven Flow- and Context-Sensitive Pointer Analysis for Java
摘要： 这篇文章来自 ECOOP'16，是 SPDS 的作者的先前工作，Boomerang 也有一个 SPDS 实现。 Introduction 超大规模的软件催生了按需分析的需求，比如按需指针分析。指针分析可以被划分为计算 points-to 信息的指向分析和计算别名信息的别名分析两种。文章认为，单独只进 阅读全文
posted @ 2025-11-26 20:36 sysss 阅读(3) 评论(0) 推荐(0)