Module DataFlowPrivate

Import path

import semmle.code.csharp.dataflow.internal.DataFlowPrivate

Imports

ArgumentNodes
Cached	A collection of cached types and predicates to be evaluated in the same stage.
OutNodes
ParameterNodes
ReturnNodes

Predicates

accessPathLimit
additionalLambdaFlowStep	Extra data-flow steps needed for lambda flow analysis.
allowParameterReturnInSelf	Holds if flow is allowed to pass from parameter `p` and back to itself as a side-effect, resulting in a summary from `p` to itself.
clearsContent	Holds if values stored inside content `c` are cleared at node `n`. For example, any value stored inside `f` is cleared at the pre-update node associated with `x` in `x.f = newValue`.
compatibleTypes	Holds if `t1` and `t2` are compatible, that is, whether data can flow from a node of type `t1` to a node of type `t2`.
expectsContent	Holds if the value that is being tracked is expected to be stored inside content `c` at node `n`.
forceHighPrecision	Holds if access paths with `c` at their head always should be tracked at high precision. This disables adaptive access path precision for such access paths.
getContentApprox	Gets an approximated value for content `c`.
getNodeType	Gets the type of `n` used for type pruning.
hasNodePath	Holds if there is a control-flow path from `n1` to `n2`. `n2` is either an expression node or an SSA definition node.
isArgumentNode	Holds if `arg` is an `ArgumentNode` of `c` with position `pos`.
isParameterNode	Holds if `p` is a `ParameterNode` of `c` with position `pos`.
isUnreachableInCall	Holds if the nodes in `nr` are unreachable when the call context is `call`.
jumpStep	Holds if `pred` can flow to `succ`, by jumping from one callable to another. Additional steps specified by the configuration are not taken into account.
knownSinkModel
knownSourceModel
lambdaCall	Holds if `call` is a lambda call where `receiver` is the lambda expression.
lambdaCreation	Holds if `creation` is an expression that creates a delegate for `c`.
nodeGetEnclosingCallable	Gets the callable in which this node occurs.
nodeIsHidden	Holds if `n` should be hidden from path explanations.
readStep	Holds if data can flow from `node1` to `node2` via a read of content `c`.
simpleLocalFlowStep	This is the local flow predicate that is used as a building block in global data flow. It excludes SSA flow through instance fields, as flow through fields is handled by the global data-flow library, but includes various other steps that are only relevant for global flow.
storeStep	Holds if data can flow from `node1` to `node2` via an assignment to content `c`.
typeStrongerThan

Classes

ArgumentNode	A data-flow node that represents a call argument.
AssignableDefinitionNodeImpl	A definition, viewed as a node in a data flow graph.
CaptureNode	A synthesized data flow node representing a closure object that tracks captured variables.
CastNode	A node that performs a type cast.
ContentApprox	An approximated `Content`.
DataFlowType	An entity used to represent the type of data-flow node. Two nodes will have the same `DataFlowType` when the underlying `Type`s are structurally equal modulo type parameters and identity conversions.
DynamicProperty	A string that is a reference to a late-bound target of a dynamic member access.
FieldOrProperty	A field or a property.
FieldOrPropertyAccess	An access to a field or a property.
FlowInsensitiveCapturedVariableNode	A data flow node used for control-flow insensitive flow through captured variables.
FlowInsensitiveFieldNode	A data flow node used for control-flow insensitive flow through fields and properties.
FlowSummaryNode	A data-flow node used to model flow summaries.
NodeImpl
NodeRegion
OutNode	A data-flow node that represents the output of a call.
ParameterNodeImpl
PostUpdateNode	A node associated with an object after an operation that might have changed its state.
ReturnNode	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.
SsaInputNode	A node that represents an input to an SSA phi (read) definition.
SsaNode	An SSA node.
SyntheticField	A synthetic field.

Modules

LocalFlow	Provides predicates related to local data flow.
PostUpdateNodes
SsaFlow	Provides logic related to SSA.
VariableCapture	Provides logic related to captured variables.

Aliases

DataFlowExpr	An expression. Either an access (`Access`), a call (`Call`), an object or collection initializer (`ObjectOrCollectionInitializer`), a delegate creation (`DelegateCreation`), an array initializer (`ArrayInitializer`), an array creation (`ArrayCreation`), an anonymous function (`AnonymousFunctionExpr`), a local variable declaration (`LocalVariableDeclExpr`), an operation (`Operation`), a parenthesized expression (`ParenthesizedExpr`), a checked expression (`CheckedExpr`), an unchecked expression (`UncheckedExpr`), an `is` expression (`IsExpr`), an `as` expression (`AsExpr`), a cast (`CastExpr`), a `typeof` expression (`TypeofExpr`), a `default` expression (`DefaultValueExpr`), an `await` expression (`AwaitExpr`), a `nameof` expression (`NameOfExpr`), an interpolated string (`InterpolatedStringExpr`), a qualifiable expression (`QualifiableExpr`), or a literal (`Literal`).
DataFlowSecondLevelScope	The trivial type with a single element.
LambdaCallKind	The trivial type with a single element.
localMustFlowStep	Holds if the value of `node2` is given by `node1`.