MATUS：基于特征切片的精确错误检测

发布: 2025年12月31日 13:38

•

1分で読める

分析

本文介绍了MATUS，一种通过提取和比较与潜在错误逻辑相关的特征切片来减轻噪声干扰的错误检测新方法。关键创新在于使用来自错误代码的先验知识来指导目标切片，从而实现更精确的错误检测。在Linux内核中成功识别出31个未知错误，其中11个被分配了CVE，这有力地验证了所提出方法的有效性。

引用 / 来源

"MATUS has spotted 31 unknown bugs in the Linux kernel. All of them have been confirmed by the kernel developers, and 11 have been assigned CVEs."

ArXiv2025年12月31日 13:38

* 根据版权法第32条进行合法引用。

General technology for enabling AI capabilities with LLMs and Generative models

Launch HN: Shaped (YC W22) – AI-Powered Recommendations and Search