WinDbg无法验证EXE校验和：CMake配置带调试符号的C程序

问题背景 #

用CMake+GNU工具链构建C程序后，WinDbg调试时弹出*** WARNING: Unable to verify checksum for main.exe警告，执行.lines命令看不到行号信息，只能调试汇编代码，同时EXE的校验和为0。

核心原因 #

1. GNU工具链默认生成DWARF格式调试符号，WinDbg仅支持CodeView格式（即PDB文件）；
2. GNU链接器默认不为PE文件生成校验和，导致WinDbg无法完成校验验证；
3. 未明确配置调试行号相关参数（虽默认开启，但显式配置可避免意外）。

修正后的CMakeLists.txt配置 #

cmake_minimum_required(VERSION 3.00)
project(Hello LANGUAGES C)

add_executable(main src/main.c)

# 仅针对GNU工具链生效
if(CMAKE_C_COMPILER_ID STREQUAL "GNU")
    # 编译选项：生成WinDbg可识别的CodeView调试符号，等价于MSVC的/Zi
    target_compile_options(main PRIVATE
        -gcodeview
        # 若需Release模式，可添加优化选项如-O2，不影响调试符号生成
        # $<$<CONFIG:Release>:-O2>
    )

    # 链接选项：让链接器生成PE校验和，消除WinDbg的校验警告
    target_link_options(main PRIVATE
        -Wl,--checksum
    )

    # 确保调试信息包含完整行号（默认已开启，显式配置更稳妥）
    target_compile_options(main PRIVATE -g)
endif()

配置项详解 #

• -gcodeview：强制GCC生成CodeView格式的调试信息，对应MSVC的/Zi参数，生成的PDB文件可被WinDbg直接识别，关联源代码行号；
• -Wl,--checksum：告知GNU链接器（ld）计算并写入PE文件的校验和字段，解决WinDbg的校验验证警告；
• -g：确保生成包含行号、变量信息的完整调试数据，让.lines命令能正常输出行号。

验证步骤 #

1. 用CMake构建程序：

   # Debug模式（带完整调试符号）
   cmake -S . -B build-debug -DCMAKE_BUILD_TYPE=Debug
   cmake --build build-debug
   
   # Release带调试符号模式
   cmake -S . -B build-release -DCMAKE_BUILD_TYPE=Release
   cmake --build build-release
   

2. 用WinDbg打开生成的main.exe：
   • 不会再弹出校验和警告；
   • 执行.lines命令会显示行号信息；
   • 调试时可直接查看源代码，而非仅汇编指令。

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