标签： clang clang-static-analyzer
当在Clang静态分析器（CSA）上测试某些基准测试时，我发现它没有报告很多实际上会使程序崩溃的错误，例如，缓冲区溢出。考虑到它报告了一堆未初始化/未定义的值警告，我想这是因为CSA不会将未初始化的值当作符号或污染对待，因此很快就放弃了探索。
我的问题是，是否有任何选项可以指示CSA象征这些未初始化的值，或将其标记为污染？我希望我可以通过这种方式使程序崩溃的错误出现在最终报告中。