Class SanitizerGuard::Range
A data-flow node that checks that a path is safe to access.
Import path
import codeql.rust.security.TaintedPathExtensions
Direct supertypes
Known direct subtypes
Predicates
checks | Holds if this guard validates |
Inherited predicates
getAPredecessor | Gets an immediate predecessor, if any. | from NodeImpl |
getAPredecessor | Gets an immediate predecessor node of a given flow type, if any. | from NodeImpl |
getASplit | Gets a split for this control flow node, if any. | from AstCfgNodeImpl |
getASuccessor | Gets an immediate successor, if any. | from NodeImpl |
getASuccessor | Gets a successor node of a given type, if any. | from NodeImpl |
getAstNode | Gets the AST node that this node corresponds to, if any. | from AstCfgNodeImpl |
getLocation | Gets the location of this control flow node. | from AstCfgNodeImpl |
getScope | Gets the scope of this node. | from NodeImpl |
getSplitsString | Gets a comma-separated list of strings for each split in this node, if any. | from AstCfgNodeImpl |
isBranch | Holds if this node has more than one successor. | from NodeImpl |
isCondition | Holds if this control flow node has conditional successors. | from NodeImpl |
isJoin | Holds if this node has more than one predecessor. | from NodeImpl |
toString | Gets a textual representation of this control flow node. | from AstCfgNodeImpl |