Import path
import codeql.ruby.typetracking.internal.TypeTrackingImpl
Predicates
| callStep | Holds if nodeFrom steps to nodeTo by being passed as a parameter in a call.
|
| compatibleContents | Holds if a value stored with storeContents can be read back with loadContents.
|
| hasFeatureBacktrackStoreTarget | Holds if the target of store steps should be backtracked via simpleLocalSmallStep to a LocalSourceNode. If this flag is not set, then the targets of store steps are assumed to be LocalSourceNodes themselves.
|
| jumpStep | Holds if data can flow from node1 to node2 in a way that discards call contexts.
|
| levelStepCall | Holds if there is a level step from nodeFrom to nodeTo, which may depend on the call graph.
|
| levelStepNoCall | Holds if there is a level step from nodeFrom to nodeTo, which does not depend on the call graph.
|
| loadStep | Holds if nodeTo is the result of accessing the content content of nodeFrom.
|
| loadStoreStep | Holds if the loadContent of nodeFrom is stored in the storeContent of nodeTo.
|
| returnStep | Holds if nodeFrom steps to nodeTo by being returned from a call.
|
| storeStep | Holds if nodeFrom is being written to the contents of the object in nodeTo.
|
| withContentStep | Holds if type-tracking should step from nodeFrom to nodeTo if inside a content matched by filter.
|
| withContentStepImpl | Same as withContentStep, but nodeTo has type Node instead of LocalSourceNode, which allows for it by used in the definition of LocalSourceNode.
|
| withoutContentStep | Holds if type-tracking should step from nodeFrom to nodeTo but block flow of contents matched by filter through here.
|
| withoutContentStepImpl | Same as withoutContentStep, but nodeTo has type Node instead of LocalSourceNode, which allows for it by used in the definition of LocalSourceNode.
|
Classes
| ContentFilter | A label to use for WithContent and WithoutContent steps, restricting which ContentSet may pass through.
|
Aliases
| Content | An entity that represents a set of Contents.
|
| LocalSourceNode | A data-flow node that is a source of local flow.
|
| Node | An element, viewed as a node in a data flow graph. Either an expression (ExprNode) or a parameter (ParameterNode).
|
| simpleLocalSmallStep | Holds if there is a simple local flow step from nodeFrom to nodeTo
|