mirror of
https://github.com/github/codeql.git
synced 2026-07-29 23:00:09 +02:00
28 lines
980 B
Plaintext
28 lines
980 B
Plaintext
/**
|
|
* @name Inefficient regular expression
|
|
* @description A regular expression that requires exponential time to match certain inputs
|
|
* can be a performance bottleneck, and may be vulnerable to denial-of-service
|
|
* attacks.
|
|
* @kind problem
|
|
* @problem.severity error
|
|
* @security-severity 7.5
|
|
* @precision high
|
|
* @id py/redos
|
|
* @tags security
|
|
* external/cwe/cwe-1333
|
|
* external/cwe/cwe-730
|
|
* external/cwe/cwe-400
|
|
*/
|
|
|
|
private import semmle.python.regexp.RegexTreeView::RegexTreeView as TreeView
|
|
import codeql.regex.nfa.ExponentialBackTracking::Make<TreeView>
|
|
|
|
from TreeView::RegExpTerm t, string pump, State s, string prefixMsg
|
|
where
|
|
hasReDoSResult(t, pump, s, prefixMsg) and
|
|
// exclude verbose mode regexes for now
|
|
not t.getRegex().getAMode() = "VERBOSE"
|
|
select t,
|
|
"This part of the regular expression may cause exponential backtracking on strings " + prefixMsg +
|
|
"containing many repetitions of '" + pump + "'."
|