Module signature InputSig
Provides language-specific data flow parameters.
Import path
import codeql.dataflow.DataFlow
Predicates
accessPathLimit | |
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 |
exprNode | Gets the node corresponding to |
forceHighPrecision | Holds if access paths with |
getAdditionalFlowIntoCallNodeTerm | Gets an additional term that is added to the |
getAnOutNode | Gets a node that can read the value returned from |
getContentApprox | Gets the content approximation for content |
getNodeType | |
getSecondLevelScope | Gets the second-level scope containing the node |
golangSpecificParamArgFilter | |
ignoreFieldFlowBranchLimit | Holds if |
isArgumentNode | |
isParameterNode | |
isUnreachableInCall | Holds if the nodes in |
jumpStep | Holds if data can flow from |
knownSinkModel | |
knownSourceModel | |
lambdaCall | Holds if |
lambdaCreation | Holds if |
localMustFlowStep | Holds if the value of |
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
neverSkipInPathGraph | Holds if |
nodeGetEnclosingCallable | |
nodeIsHidden | |
parameterMatch | Holds if the parameter position |
readStep | Holds if data can flow from |
simpleLocalFlowStep | Holds if there is a simple local flow step from |
storeStep | Holds if data can flow from |
typeStrongerThan | Holds if |
validParameterAliasStep | Holds if the data-flow step from |
viableCallable | Gets a viable implementation of the target of the given |
viableImplInCallContext | Gets a viable dispatch target of |
Types
ArgumentNode | |
ArgumentPosition | |
CastNode | |
Content | |
ContentApprox | A content approximation. A content approximation corresponds to one or more |
ContentSet | An entity that represents a set of |
DataFlowCall | |
DataFlowCallable | |
DataFlowExpr | |
DataFlowSecondLevelScope | A second-level control-flow scope in a callable. |
DataFlowType | A type for a data flow node. |
LambdaCallKind | |
Node | A node in the data flow graph. |
NodeRegion | A set of |
OutNode | A node in the data flow graph that represents an output of a call. |
ParameterNode | |
ParameterPosition | |
PostUpdateNode | A node in the data flow graph representing the value of some other node after an operation that might have changed its state. A typical example is an argument, which may have been modified by the callee. For example, consider the following code calling a setter method: |
ReturnKind | |
ReturnNode |
Parameters
Location | LocationSig |