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

Question

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

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

由于

Answer 1

尝试使用Intel Inspector（也称为线程检查器）。它是动态分析，而不是静态的。据我所知，它允许一些注释/检测自定义锁，一般是线程化库。