многопоточность — код C ++ — Coverity (или другой статический анализатор кода) + безопасность потоков

Мне было интересно сегодня о следующем: есть ли какой-либо инструмент или расширение (для покрытия или для другого анализатора кода), где я могу сделать следующее ?:

• Во-первых, я бы установил набор правил, по которым коды генерируют новые потоки, чтобы анализатор знал, что код будет запускать другой поток.
• Инструмент должен следить за тем, какие части кода, в каких потоках находятся в одном или в разных.
• Я мог бы установить «правила», какие коды обеспечивают мне безопасность потоков: например, класс MYLOCK блокирует потоки.
• И причина предыдущих 3: инструмент должен показывать мне предупреждения, какие коды, скорее всего, вызываются разными потоками и в них не используется безопасность потоков.

Спасибо