2025年10月21日
[论文笔记] Precision-Guided Context Sensitivity for Pointer Analysis
摘要： Introduction Context-sensitivity 会带来静态分析的精度提升，但是也会带来巨大的开销，这引出一个关键的问题：能否在某些对整体分析的精度有重要影响的函数上选择性的使用 context-sensitivity？这个问题的难点在于识别具有这种性质的函数。文章总结了在 cont 阅读全文
posted @ 2025-10-21 20:29 sysss 阅读(2) 评论(0) 推荐(0)