Module DataFlowPrivate
Import path
import codeql.ruby.dataflow.internal.DataFlowPrivate
Imports
ArgumentNodes | |
Cached | A collection of cached types and predicates to be evaluated in the same stage. |
OutNodes | |
ParameterNodes | |
ReturnNodes |
Predicates
additionalLambdaFlowStep | Extra data-flow steps needed for lambda flow analysis. |
allowParameterReturnInSelf | Holds if flow is allowed to pass from parameter |
clearsContent | Holds if values stored inside content |
compatibleTypes | Holds if |
expectsContent | Holds if the value that is being tracked is expected to be stored inside content |
forceHighPrecision | Holds if access paths with |
getAPostUpdateNodeForArg | Gets a node for which to construct a post-update node for argument |
getContentApprox | Gets an approximated value for content |
getNodeType | Gets the type of |
getParameterDef | Gets the SSA definition node corresponding to parameter |
isArgumentNode | Holds if |
isNonConstantExpr | Holds if |
isParameterNode | Holds if |
isUnreachableInCall | Holds if the nodes in |
jumpStep | |
knownSinkModel | |
knownSourceModel | |
lambdaCall | Holds if |
lambdaCreation | Holds if |
lambdaSourceCall | Holds if |
localMustFlowStep | |
neverSkipInPathGraph | Holds if |
nodeGetEnclosingCallable | Gets the callable in which this node occurs. |
nodeIsHidden | Holds if |
readStep | Holds if there is a read step of content |
readStepCommon | Subset of |
storeStep | Holds if data can flow from |
storeStepCommon | Subset of |
typeStrongerThan |
Classes
AdditionalJumpStep | A unit class for adding additional jump steps. |
ArgumentNode | A data-flow node that represents a call argument. |
CaptureNode | A synthesized data flow node representing a closure object that tracks captured variables. |
CapturedVariableNode | A data flow node representing a captured variable. Only used in type tracking. |
CastNode | A node that performs a type cast. |
ContentApprox | An approximated |
DataFlowType | |
FlowSummaryNode | A data-flow node used to model flow summaries. |
NodeImpl | |
NodeRegion | |
OutNode | A data-flow node that represents the output of a call. |
PostUpdateNodeImpl | |
ReturnNode | A data-flow node that represents a value returned by a callable. |
ReturningStatementNode | A value returning statement, viewed as a node in a data flow graph. |
SourceReturnNode | A data-flow node that represents a value returned by a callable. |
SsaDefinitionExtNode | An (extended) SSA definition, viewed as a node in a data flow graph. |
SsaDefinitionNodeImpl | |
SsaInputNode | A node that represents an input to an SSA phi (read) definition. |
SsaNode | An SSA node. |
SsaSelfDefinitionNode | An SSA definition for a |
Datatypes
Modules
ArgumentNodes | |
LocalFlow | Provides predicates related to local data flow. |
SsaFlow | Provides logic related to SSA. |
TypeInference | Provides logic for assigning types to data flow nodes. |
VariableCapture | Provides logic related to captured variables. |
Aliases
DataFlowExpr | A control-flow node that wraps an AST expression. |
DataFlowSecondLevelScope | The trivial type with a single element. |