CodeQL library for Python
codeql/python-all 0.6.4 (changelog, source)
Search

Class DjangoRouteRegex

Import path

import semmle.python.web.django.General

Direct supertypes

Indirect supertypes

Inherited predicates

alternation

Whether the text in the range start,end is an alternation

from RegexString
alternationOption

Whether the text in the range start,end is an alternation and the text in part_start, part_end is one of the options in that alternation.

from RegexString
backreference

Whether the text in the range start,end is a back reference

from RegexString
charRange

Holds if the character set starting at charset_start contains a character range with lower bound found between start and lower_end and upper bound found between upper_start and end.

from RegexString
charSet

Whether there is a character class, between start (inclusive) and end (exclusive)

from RegexString
char_set_child

Holds if the character set starting at charset_start contains either a character or a range found between start and end.

from RegexString
char_set_delimiter

Helper predicate for chars that could be character-set delimiters. Holds if the (non-escaped) char at pos in the string, is the (one-based) index occurrence of a bracket ([ or ]) in the string. Result if true is the char is [, and false if the char is ].

from RegexString
char_set_start

Helper predicate for char_set_start(int start, int end).

from RegexString
char_set_start

Holds if a character set starts between start and end.

from RegexString
character

Holds if a simple or escaped character is found between start and end.

from RegexString
contains

Whether this contains inner syntactically

from AstNode
containsInScope

Whether this contains inner syntactically and inner has the same scope as this

from AstNode
defines

Whether this expression defines variable v If doing dataflow, then consider using SsaVariable.getDefinition() for more precision.

from Expr
emptyGroup

Holds if an empty group is found between start and end.

from RegexString
escapedCharacter

Holds if an escaped character is found between start and end. Escaped characters include hex values, octal values and named escapes, but excludes backreferences.

from RegexString
escapingChar

Holds if the character at pos is a "" that is actually escaping what comes after.

from RegexString
failedToParse

Holds if the ith character could not be parsed.

from RegexString
firstItem

Whether the item at [start, end) is one of the first items to be matched.

from RegexString
getAChildNode

Gets a child node of this node in the AST. This predicate exists to aid exploration of the AST and other experiments. The child-parent relation may not be meaningful. For a more meaningful relation in terms of dependency use Expr.getASubExpression(), Stmt.getASubStatement(), Stmt.getASubExpression() or Scope.getAStmt().

from Expr
getAFlowNode

Gets a flow node corresponding directly to this node. NOTE: For some statements and other purely syntactic elements, there may not be a ControlFlowNode

from AstNode
getASubExpression

Gets an immediate (non-nested) sub-expression of this expression

from Expr
getBackrefName

Gets the name, if it has one, of the back reference in start,end

from RegexString
getBackrefNumber

Gets the number of the back reference in start,end

from RegexString
getChar

Gets the ith character of this regex

from RegexString
getEnclosingModule

Gets the module in which this expression occurs

from Expr
getGroupName

Gets the name, if it has one, of the group in start,end

from RegexString
getGroupNumber

Gets the number of the group in start,end

from RegexString
getLocationfrom Expr
getModeFromPrefix

Gets the mode of this regular expression string if it is defined by a prefix.

from RegexString
getParent

Gets a parent of this expression

from Expr_
getParentNode

Gets the parent node of this node in the AST. This predicate exists to aid exploration of the AST and other experiments. The child-parent relation may not be meaningful. For a more meaningful relation in terms of dependency use Expr.getASubExpression(), Stmt.getASubStatement(), Stmt.getASubExpression() or Scope.getAStmt() applied to the parent.

from AstNode
getScope

Gets the scope of this expression

from Expr
getText

Gets the text of this regex

from RegexString
group

Whether the text in the range start,end is a group

from RegexString
groupContents

Matches the contents of a group.

from RegexString
hasSideEffects

Whether this expression may have a side effect (as determined purely from its syntax)

from Expr
inCharSet

Holds if index is inside a character set.

from RegexString
isArtificial

Whether this syntactic element is artificial, that is it is generated by the compiler and is not present in the source

from AstNode
isConstant

Whether this expression is a constant

from Expr
isParenthesised

Whether the parenthesised property of this expression is true.

from Expr_
isParenthesized

Whether the parenthesized property of this expression is true.

from Expr
item

Holds if the range start, end contains a character, a quantifier, a character set or a group.

from RegexString
lastItem

Whether the item at [start, end) is one of the last items to be matched.

from RegexString
multiples

Holds if a repetition quantifier is found between start and end, with the given lower and upper bounds. If a bound is omitted, the corresponding string is empty.

from RegexString
negativeLookaheadAssertionGroup

Holds if a negative lookahead is found between start and end

from RegexString
negativeLookbehindAssertionGroup

Holds if a negative lookbehind is found between start and end

from RegexString
nonEscapedCharAt

Gets the ith character of this regex, unless it is part of a character escape sequence.

from RegexString
normalCharacter

Holds if a normal character is found between start and end.

from RegexString
normalCharacterSequence

Holds if the range [start:end) consists of only ‘normal’ characters.

from RegexString
pointsTo

Holds if this expression might “point-to” to value which is from origin in the given context.

from Expr
pointsTo

Holds if this expression might “point-to” to value which is from origin.

from Expr
pointsTo

Holds if this expression might “point-to” to value.

from Expr
pointsTo

Gets a value that this expression might “point-to”.

from Expr
positiveLookaheadAssertionGroup

Holds if a positive lookahead is found between start and end

from RegexString
positiveLookbehindAssertionGroup

Holds if a positive lookbehind is found between start and end

from RegexString
qualifiedItem

Whether the text in the range start,end is a qualified item, where item is a character, a character set or a group.

from RegexString
qualifiedPart

Holds if a qualified part is found between start and part_end and the qualifier is found between part_end and end.

from RegexString
refersTo

NOTE: refersTo will be deprecated in 2019. Use pointsTo instead. Gets what this expression might “refer-to”. Performs a combination of localized (intra-procedural) points-to analysis and global module-level analysis. This points-to analysis favours precision over recall. It is highly precise, but may not provide information for a significant number of flow-nodes. If the class is unimportant then use refersTo(value) or refersTo(value, origin) instead. NOTE: For complex dataflow, involving multiple stages of points-to analysis, it may be more precise to use ControlFlowNode.refersTo(...) instead.

from Expr
refersTo

NOTE: refersTo will be deprecated in 2019. Use pointsTo instead. Gets what this expression might “refer-to” in the given context.

from Expr
refersTo

NOTE: refersTo will be deprecated in 2019. Use pointsTo instead. Holds if this expression might “refer-to” to value which is from origin Unlike this.refersTo(value, _, origin), this predicate includes results where the class cannot be inferred.

from Expr
refersTo

NOTE: refersTo will be deprecated in 2019. Use pointsTo instead. Equivalent to this.refersTo(value, _)

from Expr
sequence

Whether the text in the range start,end is a sequence of 1 or more items, where an item is a character, a character set or a group.

from RegexString
specialCharacter

Holds if a special character is found between start and end.

from RegexString
toString

Gets a textual representation of this element.

from Expr
zeroWidthMatch

Whether the text in the range start, end is a group and can match the empty string.

from RegexString

Charpred