Class SanitizerGuard::Range
A data-flow node that checks that a path is safe to access.
Import path
import codeql.rust.security.TaintedPathExtensionsDirect 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 |