CrashFixer,Linux 内核的崩溃解决Agent。
它首先使用执行跟踪形成关于崩溃的自然语言假设,然后生成补丁。
本文探讨的方法🔧 :
→ CrashFixer 主要分为两个阶段:假设生成和补丁生成。
→它首先使用执行跟踪和源代码来创建对崩溃的自然语言理解。
→然后,它根据这种理解综合各种补丁,并通过编译和测试对其进行验证。
→ CrashFixer 在文件级本地化的帮助下解决了 kBenchSyz 上大约 49% 的内核崩溃问题。
📌假设优先修复显著提高了复杂系统级错误修复的 LLM 推理能力。
📌 kGymSuite 的高效跟踪收集和缓存构建对于实用的内核调试代理至关重要。
📌迭代的、跟踪引导的补丁生成允许 LLM 探索复杂的内核修复解决方案。
----------------------------
论文 - [2504.20412v1] CrashFixer: A crash resolution agent for the ...
论文标题:“CrashFixer:Linux 内核的崩溃解决agent”
它首先使用执行跟踪形成关于崩溃的自然语言假设,然后生成补丁。
本文探讨的方法🔧 :
→ CrashFixer 主要分为两个阶段:假设生成和补丁生成。
→它首先使用执行跟踪和源代码来创建对崩溃的自然语言理解。
→然后,它根据这种理解综合各种补丁,并通过编译和测试对其进行验证。
→ CrashFixer 在文件级本地化的帮助下解决了 kBenchSyz 上大约 49% 的内核崩溃问题。
📌假设优先修复显著提高了复杂系统级错误修复的 LLM 推理能力。
📌 kGymSuite 的高效跟踪收集和缓存构建对于实用的内核调试代理至关重要。
📌迭代的、跟踪引导的补丁生成允许 LLM 探索复杂的内核修复解决方案。
----------------------------
论文 - [2504.20412v1] CrashFixer: A crash resolution agent for the ...
论文标题:“CrashFixer:Linux 内核的崩溃解决agent”