Мне было интересно сегодня о следующем: есть ли какой-либо инструмент или расширение (для покрытия или для другого анализатора кода), где я могу сделать следующее ?:
Спасибо
Попробуйте Intel Inspector (также известный как Thread Checker). Это динамический анализ, а не статический. Насколько я помню, он допускал некоторые аннотации / инструментарий для пользовательских блокировок, в общем, многопоточность библиотек.