Class BarrierGuard

A guard that validates some expression.

To use this in a configuration, extend the class and provide a characteristic predicate precisely specifying the guard, and override checks to specify what is being validated and in which branch.

It is important that all extending classes in scope are disjoint.

Import path

import codeql.ruby.dataflow.internal.DataFlowPublic

Direct supertypes

ExprCfgNode

Indirect supertypes

Inherited fields

from ExprCfgNode

Predicates

checks	Holds if this guard validates `expr` upon evaluating to `branch`. For example, the following code validates `foo` when the condition `foo == "foo"` is true. `ruby if foo == "foo" do_something else do_something_else end`
getAGuardedNode

Inherited predicates

getAPredecessor	Gets an immediate predecessor, if any.	from CfgNode
getAPredecessor	Gets an immediate predecessor node of a given flow type, if any.	from CfgNode
getAPrimaryQlClass	Gets the name of the primary QL class for this node.	from ExprCfgNode
getASplit	Gets a split for this control flow node, if any.	from AstCfgNode
getASuccessor	Gets an immediate successor, if any.	from CfgNode
getASuccessor	Gets a successor node of a given type, if any.	from CfgNode
getBasicBlock	Gets the basic block that this control flow node belongs to.	from CfgNode
getConstantValue	Gets the constant value of this expression, if any.	from ExprCfgNode
getExpr	Gets the underlying expression.	from ExprCfgNode
getFile	Gets the file of this control flow node.	from CfgNode
getLocation	Gets the location of this control flow node.	from AstCfgNode
getNode	Gets the AST node that this node corresponds to, if any.	from AstCfgNode
getScope	Gets the scope of this node.	from CfgNode
getSplitsString	Gets a comma-separated list of strings for each split in this node, if any.	from AstCfgNode
getValueText	DEPRECATED: Use `getConstantValue` instead.	from ExprCfgNode
isBranch	Holds if this node has more than one successor.	from CfgNode
isCondition	Holds if this control flow node has conditional successors.	from CfgNode
isJoin	Holds if this node has more than one predecessor.	from CfgNode
toString	Gets a textual representation of this control flow node.	from AstCfgNode

Charpred

BarrierGuard