G.O.S.S.I.P 阅读推荐 2025-01-15 世间安得两全法

文章预览

今天要介绍的论文 Balancing Analysis Time and Bug Detection: Daily Development-friendly Bug Detection in Linux 来自2024年的USENIX ATC，作者是来自日本东京都的庆应义塾大学（Keio University）和法政大学（Hosei University）的研究人员（传说这两所学校很多不学习的富二代，剩下那些学生要拉高平均值就不得不很厉害）。来自日本的研究人员和世界其他国家地区的研究人员有很不一样的气质，他们的论文没有那么多套路（对比一下两天前的推荐），就是要解决实际问题： 这篇论文的思路非常直截了当：给你3小时，Linux内核代码全部扫描一遍，还要保证能够检测到问题。研究程序分析的同行都清楚，如果要把分析的精度提上去，就很容易变成像国际象棋和围棋里面无限进行深度搜索，一头栽进去就出不来了。但是你要降低分析的精度，又可能会漏掉真正的bug，所以怎么去权衡 ………………………………