CodeQL library for Ruby

codeql/ruby-all 0.8.15-dev (changelog, source)

Module TypeTrackerSpecific

Import path

import codeql.ruby.typetracking.TypeTrackerSpecific

Imports

Provides the Boolean class.

Predicates

compatibleContents	Holds if a value stored with `storeContents` can be read back with `loadContents`.
noContent	Gets the “no content set” value to use for a type tracker not inside any content.

Classes

OptionalTypeTrackerContent

An optional content set, that is, a ContentSet or the special “no content set” value.

Modules

Module for getting ContentFilter values.

Aliases

ContentFilter	A label to use for `WithContent` and `WithoutContent` steps, restricting which `ContentSet` may pass through.
Node	An element, viewed as a node in a data flow graph. Either an expression (`ExprNode`) or a parameter (`ParameterNode`).
TypeTrackerContent	An entity that represents a set of `Content`s.
TypeTrackingNode	A data-flow node that is a source of local flow.
basicLoadStep	Holds if `nodeTo` is the result of accessing the `content` content of `nodeFrom`.
basicLoadStoreStep	Holds if the `loadContent` of `nodeFrom` is stored in the `storeContent` of `nodeTo`.
basicStoreStep	Holds if `nodeFrom` is being written to the `contents` of the object in `nodeTo`.
basicWithContentStep	Holds if type-tracking should step from `nodeFrom` to `nodeTo` if inside a content matched by `filter`.
basicWithoutContentStep	Holds if type-tracking should step from `nodeFrom` to `nodeTo` but block flow of contents matched by `filter` through here.
callStep	Holds if `nodeFrom` steps to `nodeTo` by being passed as a parameter in a call.
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.
returnStep	Holds if `nodeFrom` steps to `nodeTo` by being returned from a call.
simpleLocalFlowStep	Holds if there is a simple local flow step from `nodeFrom` to `nodeTo`