Go module

github.com/dafny-lang/dafny

v4.10.0+incompatible

Newer version available

Published

Links

Origin
Repo

Projects

dafny-lang/dafny

GitHub

Dafny is a verification-aware programming language

 274 forks
 3k stars

OpenSSF scorecard

The Open Source Security Foundation is a cross-industry collaboration to improve the security of open source software (OSS). The Scorecard provides security health metrics for open source projects.

View information about checks and how to fix failures.

Score
5.5/10
Scorecard as of .
Code-Review
9/10
Determines if the project requires human code review before pull requests (aka merge requests) are merged.
Reasoning
Found 28/29 approved changesets -- score normalized to 9
CII-Best-Practices
0/10
Determines if the project has an OpenSSF (formerly CII) Best Practices Badge.
Reasoning
no effort to earn an OpenSSF best practices badge detected
Security-Policy
9/10
Determines if the project has published a security policy.
Reasoning
security policy file detected
Maintained
10/10
Determines if the project is "actively maintained".
Reasoning
30 commit(s) and 17 issue activity found in the last 90 days -- score normalized to 10
Dangerous-Workflow
10/10
Determines if the project's GitHub Action workflows avoid dangerous patterns.
Reasoning
no dangerous workflow patterns detected
License
9/10
Determines if the project has defined a license.
Reasoning
license file detected
Token-Permissions
0/10
Determines if the project's workflows follow the principle of least privilege.
Reasoning
detected GitHub workflow tokens with excessive permissions
Fuzzing
0/10
Determines if the project uses fuzzing.
Reasoning
project is not fuzzed
Binary-Artifacts
7/10
Determines if the project has generated executable (binary) artifacts in the source repository.
Reasoning
binaries present in source code
Pinned-Dependencies
0/10
Determines if the project has declared and pinned the dependencies of its build process.
Reasoning
dependency not pinned by hash detected -- score normalized to 0
Signed-Releases
0/10
Determines if the project cryptographically signs release artifacts.
Reasoning
Project has not signed or included provenance with any releases.
SAST
0/10
Determines if the project uses static code analysis.
Reasoning
SAST tool is not run on all commits -- score normalized to 0

Project metadata as of .