Drgn项目中用户态核心转储文件名截断问题的分析与修复

在Linux系统调试工具Drgn中，处理用户态核心转储文件时发现了一个关于进程名称截断的边界条件问题。这个问题会影响当进程名称超过16个字符时的核心转储分析能力。

问题背景

Drgn工具在解析核心转储文件时，会读取ELF格式中的NT_PRPSINFO note节来获取进程信息。其中pr_fname字段用于存储进程名称，但该字段在Linux内核中被定义为固定16字节的字符数组。当实际进程名称超过这个长度时，内核会直接截断而不保证添加空终止符。

问题表现

当尝试分析一个进程名称超过16字符的核心转储文件时，Drgn会抛出"pr_fname is not null terminated"异常，导致无法正常获取线程堆栈跟踪信息。这个问题特别容易在使用gcore等工具生成的核心转储中出现，因为这些工具可能不会像内核那样自动添加终止符。

技术分析

在Linux内核中，task_struct结构的comm字段(即pr_fname的来源)确实只有16字节(TASK_COMM_LEN)。内核在填充这个字段时，对于超长名称会直接截断而不添加空终止符。Drgn原先的实现假设这个字段总是以空字符结尾，这在大多数情况下成立，但当遇到精确16字符或更长的名称时就会失败。

解决方案

修复方案主要涉及以下几个方面：

1. 修改get_prpsinfo_fname()函数，使用strndup()创建保证空终止的副本，而不是直接引用原始数据
2. 将core_dump_fname_cached字段类型从const char改为char，以支持动态分配的内存
3. 在程序销毁时添加对缓存文件名的释放操作
4. 使用_cleanup_free属性确保资源在错误路径上也能正确释放

测试验证

测试发现不同来源的核心转储文件行为可能不同：

• 内核生成的核心转储(如通过abrt服务)通常会保证空终止
• 用户工具生成的核心转储(如gcore)可能不会添加终止符
• 测试套件中的crashme_static_pie.core文件恰好展示了空终止的情况

为全面测试这一修复，建议：

1. 修改现有测试资源，人工创建超长进程名的核心转储
2. 在测试代码中动态生成测试用例，直接修改核心文件中的pr_fname字段

总结

这个问题的修复展示了在系统级编程中处理固定长度字符串时需要特别注意的边界条件。Drgn作为调试工具，必须能够处理各种来源的核心转储文件，包括那些不完全符合预期的格式。通过这次修复，工具对用户态核心转储的分析能力得到了增强，特别是对那些具有长名称进程的转储文件。

对于开发者来说，这个案例也提醒我们：在直接使用内核或系统数据结构时，不能依赖于未明确保证的行为，即使这种行为在大多数情况下都成立。防御性编程和严格的输入验证在系统工具开发中尤为重要。