2025年9月28日
[论文笔记] The Complexity of Andersen's Analysis in Practice
摘要： 一个 context-insensitive 的 Andersen 风格的分析算法： 定义： \(N\) 是变量和 new 的总数量 \(D(x)\) 是解引用变量 \(x\) 的 statements 数量 \(G\) 是 flow graph \(E\) 是 flow graph 到达不动点时边 阅读全文
posted @ 2025-09-28 22:54 sysss 阅读(11) 评论(0) 推荐(0)