c++ - C++ 代码 - Coverity（或其他一些静态代码分析器）+ 线程安全

Question

我今天想知道以下问题：是否有任何工具或扩展（用于覆盖或其他代码分析器），我可以在其中执行以下操作？：

• 首先，我将设置一组规则，即哪些代码正在生成新线程，以便分析器知道该代码将运行其他线程。
• 该工具必须遵循，哪些代码部分在哪些线程中，它们是相同的，还是不同的。
• 我可以设置“规则”，什么样的代码可以确保我的线程安全：例如 MYLOCK 类在线程之间锁定。
• 以及前 3 个原因：该工具应该向我显示警告，哪些代码最有可能由不同的线程调用，并且其中没有线程安全用法。

谢谢

Answer 1

试试英特尔检查器（也称为线程检查器）。它是动态分析，而不是静态分析。据我记得，它允许对自定义锁进行一些注释/工具，一般来说是线程库。