GCVE-110-GO-2026-013311

The Go module `github.com/keel-hq/keeL` (version v0.20.1-beta.1.0.20260821160649-6ac9dc5cfec1) was flagged as malicious by automated package analysis (2 corroborating detection(s)). Importing or building it may execute attacker-controlled code via the module's own sources, cgo, or `//go:generate` directives. Verdict path: evidence — for ownership-only paths (owner-known-bad / multi-identity) the change of ownership is a compounding indicator the engine correlated with other signals, not standalone proof. This verdict is produced by static analysis and is subject to human review.