2025年11月2日
[论文笔记] Machine-Learning-Guided Selectively Unsound Static Analysis
摘要： Introduction 现有的静态分析工具都是 unsound 的，并且体现为 uniformly unsound。这里的“uniformly”指静态分析工具会用一种统一地忽略所有不能处理的特性，而不考虑代码上下文。这种策略会减少误报率 \(\frac{false \ alarm}{all \ a 阅读全文
posted @ 2025-11-02 19:22 sysss 阅读(6) 评论(0) 推荐(0)