Spectra Assure
Community
Docs

System.Diagnostics.Contractsv4.0.1-beta-23225

Top 1k
Copy SHA256

License: unknown

Published: about 9 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
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

369.58M
Total Downloads

Maintenance

2
Maintainers

Dependencies

1
Declared Dependencies

Dependents

0
Dependents

Issues per Version Graph

Scanned 17 days ago