mirror of
https://git.proxmox.com/git/mirror_zfs.git
synced 2026-01-14 17:22:05 +03:00
Smatch is an actively maintained kernel-aware static analyzer for C with a low false positive rate. Since the code checker can be run relatively quickly against the entire OpenZFS code base (15 min) it makes sense to add it as a GitHub Actions workflow. Today smatch reports a significant numbers warnings so the workflow is configured to always pass as long as the analysis was run. The results are available for reference. Long term it would ideal to resolve all of the errors/warnings at which point the workflow can be updated to fail when new problems are detected. Reviewed-by: Tony Hutter <hutter2@llnl.gov> Reviewed-by: Toomas Soome <tsoome@me.com> Signed-off-by: Brian Behlendorf <behlendorf1@llnl.gov> Closes #17935 |
||
|---|---|---|
| .. | ||
| codeql/custom-queries/cpp | ||
| ISSUE_TEMPLATE | ||
| workflows | ||
| codecov.yml | ||
| codeql-cpp.yml | ||
| codeql-python.yml | ||
| CONTRIBUTING.md | ||
| no-response.yml | ||
| PULL_REQUEST_TEMPLATE.md | ||
| stale.yml | ||