Добавление атрибутов покрытия в .NET ⇐ C#

[Anonymous]

В документации Coverity упоминается использование таких атрибутов, как [Tainted] и [NotTainted] в .NET. В нем говорится, что они расположены в пространстве имен Coverity.Attributes, но я не вижу пакетов Coverity NuGet на NuGet.org.
Как сделать эти классы доступными в мое .NET-приложение?

Подробнее здесь: https://stackoverflow.com/questions/793 ... tes-in-net