2025年11月5日
[论文笔记] Static Analysis with Demand-Driven Value Refinement
摘要： Introduction JavaScript 的动态特性使静态分析变得困难。近期工作提出了很多方法 uniformly 提升 JavaScript 分析的精度，比如 high degrees of context sensitivity，aggressive loop enrolling，soph 阅读全文
posted @ 2025-11-05 22:32 sysss 阅读(6) 评论(0) 推荐(0)