ahmedaabouzied/GoProve
Static analysis for Go — detects nil pointer dereferences, division by zero, and integer overflow using abstract interpretation.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| path | Go package pattern to analyze | no | ./... |
| version | GoProve version to install (e.g. latest, v0.1.0) | no | latest |
| go-version | Go version to use | no | 1.26.1 |
| fail-on-warnings | Whether to fail the check on warnings (not just bugs) | no | true |
| diff-only | Filter findings to changed files only. Defaults to true on pull_request events, false otherwise. | no | auto |
Outputs
| name | description |
|---|---|
| findings | Total number of findings detected |
| bugs | Number of proven bugs |
| warnings | Number of warnings |
| report | Markdown-formatted findings table for use in PR comments |