Doxygen能否从C代码生成架构文档？能否实现数据流分析？

Doxygen本身对数据流追踪的支持不算强，但结合其他工具或是调整配置，完全能实现你要的全局变量读写追踪、任务间消息交互梳理这类需求：

一、Doxygen扩展配置方案 #

• 开启ENABLE_PREPROCESSING和MACRO_EXPANSION选项，让Doxygen能解析项目里的宏定义（比如RTOS的消息队列API、全局变量的包装宏），避免漏解析关键代码。
• 自定义Doxygen的ALIASES，给全局变量、消息收发API添加专属标记，示例配置：

  ALIASES += "globalvar=\xrefitem globalvars \"全局变量\" \"全局变量列表\""
  ALIASES += "sendmsg=\xrefitem msgflows \"消息发送\" \"消息流列表\""
  ALIASES += "recvmsg=\xrefitem msgflows \"消息接收\" \"消息流列表\""
  

  之后在代码里补加@globalvar、@sendmsg(队列名, 目标任务)这类简单标记，Doxygen会自动生成汇总列表，帮你快速梳理全局变量的引用关系和消息流向。

二、静态代码分析工具（自动追踪） #

这类工具无需额外注释，能自动扫描代码提取数据流信息：

• Clang静态分析器：执行clang -analyze -Xanalyzer -analyzer-checker=core,alpha.core.taint命令，可识别全局变量的所有读写路径，还能追踪跨模块的数据传递链路，输出的分析报告里会明确标注每个访问位置。
• Cppcheck：启用--enable=information,style参数，配合--xml输出格式，能提取所有全局变量的引用位置（包括读、写、重置操作）；如果项目用了标准RTOS队列API，还能通过--check-config识别任务间的消息交互逻辑。
• CodeQL：编写自定义C语言查询，比如查询“被3个及以上函数修改的全局变量”，或是“所有调用xQueueSend/xQueueReceive的任务与队列关联关系”，查询结果可生成可视化的数据流图。

三、嵌入式RTOS专用工具 #

如果项目用了FreeRTOS、RT-Thread这类主流RTOS，有更精准的针对性工具：

• FreeRTOS+Trace：能实时捕获任务间的消息传递、队列操作，生成时序图直观展示数据流；还能统计全局变量的访问频率和修改来源，定位跨任务的数据交互点。
• RT-Thread Studio：自带的系统分析工具可追踪信号量、消息队列的交互过程，还能查看全局变量的内存访问日志，快速定位跨模块的读写操作。

四、手动辅助梳理技巧 #

如果工具覆盖不到某些自定义逻辑，可结合以下方法快速梳理：

• 用grep -r "目标全局变量名" ./src批量查找所有读写位置，手动整理成表格，标注每个位置所属的模块或任务。
• 针对RTOS任务，梳理每个任务里的消息收发API调用，关联对应的队列，手动绘制任务交互图。

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