2025年8月3日
[论文笔记] Reducing Static Analysis Unsoundness with Approximate Interpretation
摘要： Introduction 之前的一些 JS 的 callgraph 相关的工作忽略了动态属性访问（比如 Field-based Analysis）。最近的 ECOOP'22 的工作显示动态属性访问是最主要的 unsoundness 的来源。这篇文章主要关注动态属性访问，使用 dynamic pre- 阅读全文
posted @ 2025-08-03 22:53 sysss 阅读(23) 评论(0) 推荐(0)