A signed integer overflow in docopt.cpp v0.6.2 (LeafPattern::match in docoptprivate.h) when merging occurrence counters (e.g., default LONGMAX + first user "-v/--verbose") can cause counter wrap (negative/unbounded semantics) and lead to logic/policy bypass in applications that rely on occurrence-based limits, rate-gating, or safety toggles. In hardened builds (e.g., UBSan or -ftrapv), the overflow may also result in process abort (DoS).
{
"osv_generated_from": "https://github.com/CVEProject/cvelistV5/tree/main/cves/2025/67xxx/CVE-2025-67125.json",
"cna_assigner": "mitre"
}