Sanitizer(运行时错误检测工具)
发送越界访问或其他问题时程序不一定马上崩溃。某次运行可能打印一个奇怪的数字,也可能崩溃,或者出现其他结果。
所以:程序没有崩溃,不代表程序没有错误;普通测试通过,也不代表不存在内存安全问题。
所以引入sanitizer
工具 中文名称 主要检测的问题 ASan 地址消毒器/内存安全检测器 内存越界、释放后使用 LSan 内存泄漏检测器 动态内存泄漏 UBSan 未定义行为检测器 有符号整数溢出等未定义行为 TSan 线程数据竞争检测器 多线程缺少正确同步的数据竞争内存泄漏和文件描述符泄漏
内存泄漏:
例如:
voidtest(){int*p=newint[100];// 忘记 delete[] p}这里通过 new 申请了动态内存,但没有释放。
如果不断调用 test(),就可能持续消耗内存。
这属于 Memory Leak(内存泄漏),是 LSan 主要负责检测的问题。
文件描述符泄漏:
例如:
voidtest(){intfd=open("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 上自动执行这些步骤。这套持续构建、测试和检查的流程,属于 CI(Continuous Integration,持续集成)
编译成功不代表测试通过
-Werror
TaskForge 为什么使用 -Werror?
假设编译器发现一个警告。
没有-Werror: 发现 warning ↓ 给出警告信息 ↓ 仍然可能编译成功启用 -Werror:
发现 warning ↓ 将 warning 视为 error ↓ 构建失败这样能够阻止存在相应编译警告的生产代码通过严格的 CI 检查。