Module DataFlowDispatch
Import path
import codeql.ruby.dataflow.internal.DataFlowDispatch
Imports
Predicates
getAnOutNode | Gets a node that can read the value returned from |
isStandardNewCall | Holds if |
isUserDefinedNew | Holds if |
mayBenefitFromCallContext | Holds if the set of viable implementations that can be called by |
parameterMatch | Holds if arguments at position |
selfInMethod | Holds if |
singletonMethodOnInstance | Holds if |
viableImplInCallContext | Gets a viable dispatch target of |
viableLibraryCallable | Holds if |
Classes
AdditionalCallTarget | A unit class for adding additional call steps. |
ArgumentPosition | An argument position. |
BreakReturnKind | A value returned from a callable using a |
DataFlowCall | A call. This includes calls from source code, as well as call(back)s inside library callables with a flow summary. |
DataFlowCallable | A callable. This includes callables from source code, as well as callables defined in library code. |
LibraryCallable | A callable defined in library code, identified by a unique string. |
LibraryCallableToIncludeInTypeTracking | A callable defined in library code, which should be taken into account in type tracking. |
NewReturnKind | A special return kind that is used to represent the value returned from user-defined |
NormalCall | |
NormalReturnKind | A value returned from a callable using a |
ParameterPosition | A parameter position. |
ReturnKind | A return kind. A return kind describes how a value can be returned from a callable. |
SummaryCall | A synthesized call inside a callable with a flow summary. |
Datatypes
Modules
ViewComponentRenderModeling | Provides modeling of flow through the |
Aliases
exprNodeReturnedFrom | Holds if |
trackModuleAccess | Gets a node that can be reached from some start node in state |