使用clang生成函数调用关系图：从编译选项到可视化分析

1次阅读

共计 2087 个字符，预计需要花费 6 分钟才能阅读完成。

在维护大型 C /C++ 项目时，理解函数之间的调用关系往往令人头疼。随着代码量增长，手动跟踪函数调用链变得不切实际，而通过调试器逐步执行又效率低下。传统方法主要有两种：

文档生成工具（如 doxygen）：依赖代码注释，无法反映动态调用关系
运行时分析工具（如 gprof）：需要实际执行程序，可能遗漏未覆盖的代码路径

静态分析工具
优点：不依赖程序执行，可分析全部代码
缺点：难以处理条件编译、模板等复杂情况
运行时分析工具
优点：获取实际调用频次和耗时
缺点：需要设计测试用例，覆盖率依赖执行路径
clang 方案
直接基于编译器前端分析
支持最新 C ++ 标准特性
可生成结构化中间数据便于后续处理

使用 clang 编译时添加特殊选项：

clang++ -fdump-func-mapping -Xclang -dump-func-mapping -o /dev/null your_source.cpp

生成的 .func-mapping.txt 文件包含三列数据：
1. 调用者函数名
2. 被调用函数名
3. 调用位置（文件: 行号）

以下是 Python 处理脚本示例（保存为callgraph.py）：

#!/usr/bin/env python3
"""Convert clang function mapping to Graphviz dot format"""
import re
import sys

# 输入 / 输出文件处理
def process_mapping(input_file, output_file):
    calls = {}

    # 1. 收集所有调用关系
    with open(input_file) as f:
        for line in f:
            if not line.strip(): continue

            # 解析每行：caller callee location
            parts = re.split(r'\s+', line.strip(), 2)
            if len(parts) < 2: continue

            caller, callee = parts[0], parts[1]
            calls.setdefault(caller, set()).add(callee)

    # 2. 生成 dot 文件
    with open(output_file, 'w') as f:
        f.write('digraph G {\n')
        f.write('node [shape=box, fontname="Courier"];\n')

        # 输出所有节点
        all_funcs = set(calls.keys())
        for callees in calls.values():
            all_funcs.update(callees)

        for func in sorted(all_funcs):
            f.write(f'"{func}";\n')

        # 输出调用边
        for caller, callees in calls.items():
            for callee in sorted(callees):
                f.write(f'"{caller}" -> "{callee}";\n')

        f.write('}\n')

if __name__ == "__main__":
    if len(sys.argv) != 3:
        print(f"Usage: {sys.argv[0]} <input.func-mapping> <output.dot>")
        sys.exit(1)

    process_mapping(sys.argv[1], sys.argv[2])

10 万行代码项目：处理时间约 2 - 3 分钟
内存占用：主要消耗在调用关系收集阶段，建议 64 位环境运行
优化建议：
对超大型项目可分模块分析
使用多进程并行处理

模板函数处理
clang 会生成实例化后的具体函数名
建议在分析前进行宏展开预处理
跨文件调用
需要编译所有相关源文件
使用编译数据库（compile_commands.json）确保一致编译环境
匿名命名空间
可能生成重复符号名
可通过 -fno-omit-frame-pointer 选项改善

# .gitlab-ci.yml 示例
analyze_callgraph:
  stage: test
  script:
    - mkdir -p reports
    - find src -name "*.cpp" | xargs -I {} clang++ -fdump-func-mapping -Xclang -dump-func-mapping -o /dev/null {}
    - python3 callgraph.py *.func-mapping.txt reports/callgraph.dot
    - dot -Tpng reports/callgraph.dot -o reports/callgraph.png
  artifacts:
    paths:
      - reports/

如何扩展该方案来分析 C ++ 虚函数调用关系？可以考虑：