Skip to content

Security: ZelAnton/ProcessKit-fSharp

Security

SECURITY.md

Security Policy

Supported versions

Security fixes are applied to the latest released version of ProcessKit. Older versions are not maintained — upgrade to the latest release to receive fixes.

Reporting a vulnerability

Do not open a public issue for security vulnerabilities.

Report privately through GitHub's private vulnerability reporting (repository Security → Advisories → Report a vulnerability). If that is unavailable, contact the maintainer listed on the ZelAnton profile.

Please include:

  • a description of the vulnerability and its impact;
  • steps to reproduce (a minimal proof of concept is ideal);
  • affected version(s).

You can expect an initial acknowledgement within a few days. Once a fix is ready, a patched release is published to NuGet.org and the advisory is disclosed.

Automated scanning

Dependencies are audited against the NuGet advisory database on every restore (NuGetAudit/NuGetAuditMode=all, configured in Directory.Build.props), and Dependabot keeps GitHub Actions and NuGet packages current. A scheduled and manually dispatchable Dependency vulnerabilities workflow also checks direct and transitive packages weekly; run the same fail-loud check locally with pwsh scripts/check-vulnerabilities.ps1 or as part of scripts/verify-all.ps1.

Release integrity and SBOM

Every GitHub Release includes one CycloneDX 1.7 JSON software bill of materials for each published NuGet package. The SBOM records the exact release version and its resolved dependency graph, including each companion package's matching ProcessKit dependency.

The .nupkg, .snupkg, *.cdx.json, and SHA256SUMS files are covered by the release workflow's build-provenance attestations. SHA256SUMS also lists every package and SBOM, so downloaded assets can be checked with sha256sum -c SHA256SUMS; provenance can be checked with gh attestation verify <file> --repo ZelAnton/ProcessKit-fSharp.

No CodeQL. GitHub CodeQL has no F# support, so this repository ships no CodeQL workflow. Static hygiene relies instead on TreatWarningsAsErrors and Fantomas formatting checks in CI. F# analyzers are integrated through the fsharp-analyzers local tool and the Ionide.Analyzers rule package; run dotnet fsharp-analyzers --project src/ProcessKit/ProcessKit.fsproj with the restored Ionide.Analyzers package path when checking the main library locally.

There aren't any published security advisories