CVE-2026-37462: Go Missing Bounds Check Uint Underflow

An unsigned integer underflow can occur when directly subtracting a dynamically computed value from a bounding length variable without verification. If the right-hand side exceeds the value of the bounds, it wraps around to a large positive integer. In parsing loops, this may lead to infinite loops or out-of-bounds reads. Extract the computation to a variabl

Provally CuratedPublic repositoryHighMedium confidenceVerifiedApache-2.0Go
greprules fetch cve-2026-37462-go-missing-bounds-check-uint-underflow --engine opengrep

Description

An unsigned integer underflow can occur when directly subtracting a dynamically computed value from a bounding length variable without verification. If the right-hand side exceeds the value of the bounds, it wraps around to a large positive integer. In parsing loops, this may lead to infinite loops or out-of-bounds reads. Extract the computation to a variabl