PHASE

Sanitizer运行时错误检测工具发送越界访问或其他问题时程序不一定马上崩溃。某次运行可能打印一个奇怪的数字也可能崩溃或者出现其他结果。所以程序没有崩溃不代表程序没有错误普通测试通过也不代表不存在内存安全问题。所以引入sanitizer工具 中文名称 主要检测的问题 ASan 地址消毒器/内存安全检测器 内存越界、释放后使用 LSan 内存泄漏检测器 动态内存泄漏 UBSan 未定义行为检测器 有符号整数溢出等未定义行为 TSan 线程数据竞争检测器 多线程缺少正确同步的数据竞争内存泄漏和文件描述符泄漏内存泄漏:例如voidtest(){int*pnewint[100];// 忘记 delete[] p}这里通过 new 申请了动态内存但没有释放。如果不断调用 test()就可能持续消耗内存。这属于 Memory Leak内存泄漏是 LSan 主要负责检测的问题。文件描述符泄漏:例如voidtest(){intfdopen(test.txt,O_RDONLY);// 忘记 close(fd)}假设 open() 成功函数返回后没有调用 close()对应的文件描述符就可能一直保持打开状态。如果不断执行open 文件 → 没有 close open 文件 → 没有 close open 文件 → 没有 close ……进程可能逐渐耗尽可用文件描述符最终导致新的 open()、pipe() 等操作失败。这属于 FD Leak文件描述符泄漏。GCC、CMake、CTest、CI而 GitHub Actions 可以在 GitHub 上自动执行这些步骤。这套持续构建、测试和检查的流程属于 CIContinuous Integration持续集成编译成功不代表测试通过-WerrorTaskForge 为什么使用 -Werror假设编译器发现一个警告。没有-Werror 发现 warning ↓ 给出警告信息 ↓ 仍然可能编译成功启用 -Werror发现 warning ↓ 将 warning 视为 error ↓ 构建失败这样能够阻止存在相应编译警告的生产代码通过严格的 CI 检查。