Spectra Assure
Community
Docs

Dafny (Deprecated)v2.0.3

latest
Top 10k
Copy SHA256
License: Permissive (MIT)
Repository
Visual Studio Code
Publisher: correctnessLab
Published: almost 4 years ago
Dafny for Visual Studio Code
Warning
Risk: Vulnerabilities
1 medium severity vulnerabilities

SAFE Assessment

Compliance

Licenses
No license compliance issues
Secrets
No sensitive information found

Security

Vulnerabilities
1 medium severity vulnerabilities
Hardening
No application hardening issues

Threats

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

Issues

See all issues
medium
Detected presence of medium severity vulnerabilities.
vulnerabilities
low
Detected presence of files containing bidirectional Unicode control characters.
hunting

Behaviors

See all behaviors
Encodes data using the Base64 algorithm.
packer
Opens a TCP connection to a remote server.
network
Encodes data using the Base16 algorithm.
file
Executes files during installation or upon launch.
execution
Creates a process.
execution

Vulnerabilities

critical0
high0
medium1
low0

Installs

21.27K
Total Installs

Contributions

1
Contributor

Dependencies

6
Declared Dependencies

Dependents

0
Dependents