如何仅基于DWARF信息精准检测C++抽象类？

要实现C++抽象类的全覆盖检测，核心逻辑是验证类的虚函数表中是否存在未被覆盖的纯虚函数，结合DWARF调试信息的以下关键节点和属性即可完成：

1. 定位类的虚函数表（DW_TAG_vtable） #

每个包含虚函数的C++类，在DWARF中都会对应一个DW_TAG_vtable节点，通过DW_AT_abstract_origin关联到类的DW_TAG_class_type/DW_TAG_structure_type节点。

• 抽象类的vtable中会保留未实现的纯虚函数占位符，这类占位符通常指向编译器生成的__cxa_pure_virtual函数（可通过DW_AT_linkage_name或DW_AT_name识别）。

2. 识别未覆盖的纯虚函数 #

针对类的DW_TAG_subprogram节点，纯虚函数的核心特征：

• 无代码实现：没有DW_AT_low_pc、DW_AT_high_pc或DW_AT_ranges属性；
• 继承链检查：递归遍历所有直接/间接基类，若基类的某个纯虚函数在当前类中没有对应的DW_TAG_subprogram节点（未被覆盖），或当前类的该函数节点仍无实现，则当前类为抽象类。

注：GCC确实不会通过DW_AT_virtuality区分纯虚与普通虚函数，但通过「函数是否有实现」+「继承链覆盖情况」的组合判断，完全可以替代该属性的作用。

3. 递归处理继承链 #

对于子类，必须遍历所有基类的虚函数：

1. 通过DW_TAG_inheritance节点找到直接基类的类型节点；
2. 检查基类的每个纯虚函数是否在当前类或其直接父类中已被覆盖（即存在带代码地址的DW_TAG_subprogram节点）；
3. 只要有一个纯虚函数在整个继承链的当前类中未被实现，即可判定为抽象类。

针对你的示例场景的验证 #

• Interface：所有虚函数都是纯虚，vtable全为__cxa_pure_virtual占位符，直接判定为抽象类；
• Partial：继承了Interface的纯虚函数但未全部实现，vtable中仍存在未覆盖的纯虚函数占位符，判定为抽象类；
• Full：覆盖了所有继承的纯虚函数，vtable中无__cxa_pure_virtual占位符，判定为具体类；
• Foo/Bar：根据是否覆盖了父类剩余的纯虚函数，按上述规则判定即可。

额外注意事项 #

• 模板类处理：模板实例化的抽象类同样适用上述规则，DWARF会生成实例化后的类和vtable信息；
• 编译器兼容性：GCC、Clang、MSVC均遵循该DWARF编码逻辑，MSVC可能额外提供DW_AT_pure_virtual属性，可作为补充判断依据；
• 纯虚函数默认实现：C++11及以后允许纯虚函数带默认实现，此时函数节点会有DW_AT_low_pc，但仍属于纯虚函数，可通过DW_AT_pure_virtual属性（若存在）或函数链接名中的特征标识识别。

内容的提问来源于stack exchange，提问作者Petzep