Programmiererforum

In den Coverity-Dokumenten wird die Verwendung von Attributen wie [Tainted] und [NotTainted] in .NET erwähnt. Es heißt, dass sie sich im Namespace Coverity.Attributes befinden, aber ich sehe keine Coverity NuGet-Pakete in NuGet.org.
Wie kann ich diese Klassen verfügbar machen? meine .NET-Anwendung?