Spectra Assure
Community
Docs

System.Diagnostics.Contractsv4.3.0

latest
Top 1k
License: unknown


Published: almost 8 years ago
Provides static classes for representing program contracts such as preconditions, postconditions, and invariants. Commonly Used Types: System.Diagnostics.Contracts.Contract System.Diagnostics.Contracts.ContractClassAttribute System.Diagnostics.Contracts.ContractClassForAttribute System.Diagnostics.Contracts.ContractFailureKind System.Runtime.CompilerServices.ContractHelper System.Diagnostics.Contracts.ContractInvariantMethodAttribute System.Diagnostics.Contracts.PureAttribute System.Diagnostics.Contracts.ContractArgumentValidatorAttribute System.Diagnostics.Contracts.ContractVerificationAttribute System.Diagnostics.Contracts.ContractOptionAttribute When using NuGet 3.x this package requires at least version 3.4.
Pass
Info: Completed
Everything is awesome!

SAFE Assessment

Compliance

Licenses
No license compliance issues
Secrets
No sensitive information found

Security

Vulnerabilities
No known vulnerabilities detected
Hardening
No application hardening issues

Threats

Tampering
No evidence of software tampering
Malware
No evidence of malware inclusion

Behaviors

No behaviors found

Vulnerabilities

Downloads

362.6M
Total Downloads

Maintenance

2
Maintainers

Dependencies

2
Declared Dependencies

Dependents

0
Dependents

Issues per Version Graph

Scanned 5 days ago