2025年11月19日
[论文笔记] Context-, Flow-, and Field-Sensitive Data-Flow Analysis using Synchronized Pushdown Systems
摘要： Introduction 传统的使用 AccessPath 的字段敏感分析在面临循环字段引用（cyclic field reference）时存在路径爆炸的问题，比如对于 JDK 8 中 TreeMap 的实现： 函数 rotateLeft 在函数 fixAfterInsertion 的 while 阅读全文
posted @ 2025-11-19 21:29 sysss 阅读(6) 评论(0) 推荐(0)