Member 14056515 Ответов: 1

У меня есть два одинаковых кода с разными structure.in в одном случае инструмент "coverity" обнаруживает тупик потока, в то время как в другом случае он этого не делает.


Я написал простой код взаимоблокировки потоков и использую инструмент coverity для обнаружения взаимоблокировки но

когда я пишу код в одном классе он обнаруживает но если я делаю три разных класса для своих функций он не обнаруживает

Может ли кто-нибудь объяснить мне, почему это происходит?.



Что я уже пробовал:

Я написал простой код взаимоблокировки потоков и использую инструмент coverity для обнаружения взаимоблокировки но

когда я пишу код в одном классе он обнаруживает но если я делаю три разных класса для своих функций он не обнаруживает

Может ли кто-нибудь объяснить мне, почему это происходит?.


Richard MacCutchan

Вам нужно спросить людей, которые владеют coverity.

1 Ответов

Рейтинг:
2

Dave Kreskowiak

Этот сайт не поддерживает Coverity. Контакт Синопсис Поддержку[^] если вы хотите знать, что происходит с инструментом.