Это описывает, как можно сделать анализ безопасности статического потока с помощью аннотаций в C ++: http://clang.llvm.org/docs/threadsafetyanalysis.html написан Я использую это со стандартными типами, такими как std :: mutex и std :: lock_guard? < /P>
Пример кода Mutex.h аннотирует пользовательский интерфейс. Есть ли у меня тип «Mutex», который определяется там, и внедрять класс с использованием std :: mutex с аннотированными методами или Clang как -то приносит аннотированные типы?
Подробнее здесь: https://stackoverflow.com/questions/303 ... rd-library
