1 line
2.9 KiB
JSON
1 line
2.9 KiB
JSON
{"id": "GHSA-m6xr-fvfg-5g64", "cve": "CVE-2026-46378", "repo": "TomWright/dasel", "cwes": ["CWE-835"], "vuln_files": ["selector/lexer/tokenize.go", "selector/lexer/tokenize_test.go"], "duration_sec": 77.8, "error": null, "strict": false, "lenient": true, "findings_scored": [{"fileMatch": true, "lineProx": false, "cweMatch": false, "hit": false, "title": "Panic (index out of range) when selector ends with whitespace", "file": "selector/lexer/tokenize.go", "line": 60, "cwe": "CWE-125"}, {"fileMatch": true, "lineProx": true, "cweMatch": true, "hit": true, "title": "Infinite loop on unterminated regex literal r/...", "file": "selector/lexer/tokenize.go", "line": 280, "cwe": "CWE-835"}], "n_findings": 2, "findings": [{"title": "Panic (index out of range) when selector ends with whitespace", "file": "selector/lexer/tokenize.go", "line": 60, "cwe": "CWE-125", "vuln_class": "dos", "severity": "high", "description": "In parseCurRune(), after the leading whitespace-skip loop (line 55) advances p.i, the code unconditionally dereferences p.src[p.i] at line 60 (the '//' comment check) and again at line 74 (the main switch) without re-checking p.i < p.srcLen. Next() guards only the entry condition p.i >= len(p.src), so any selector that contains trailing whitespace (or whose remaining suffix is only whitespace after a comment) will cause p.i to reach p.srcLen inside parseCurRune, and the next p.src[p.i] access panics with 'runtime error: index out of range'. Anywhere dasel exposes selector parsing to untrusted input (CLI args, library users, or any service embedding dasel's selector lexer), a one-byte attacker-controlled string such as a single space crashes the process. Tokenize() is the documented entrypoint, so reachability is trivial.", "poc": "lexer.NewTokenizer(\" \").Tokenize() // panics: runtime error: index out of range [1] with length 1. Also reproducible with any selector ending in whitespace, e.g. \"foo \" or \"a.b \".", "confidence": 0.95}, {"title": "Infinite loop on unterminated regex literal r/...", "file": "selector/lexer/tokenize.go", "line": 280, "cwe": "CWE-835", "vuln_class": "dos", "severity": "high", "description": "matchRegexPattern (line 274) recognises an 'r/' prefix and then scans for the closing '/': `for !p.peekRuneEqual(pos, '/') { pos++ }`. peekRuneEqual returns false whenever pos >= p.srcLen, so once pos walks past the end of the input without finding a '/', the condition stays true forever and pos is incremented without bound. There is no srcLen guard inside the loop and no error path for an unterminated regex. Any selector containing `r/` without a matching closing slash causes Tokenize() to hang, consuming a CPU core indefinitely (and eventually causing an integer overflow / huge allocation if it ever exited at p.src[start+2:pos-1]).", "poc": "lexer.NewTokenizer(\"r/abc\").Tokenize() // hangs forever inside matchRegexPattern's scan loop.", "confidence": 0.95}], "transcript": ""} |