CodeQL library for Ruby
codeql/ruby-all 4.1.0 (changelog, source)
Search

Module MakeImpl::Impl

Constructs a data flow computation given a full input configuration, and an initial stage 1 pruning.

Import path

import codeql.dataflow.internal.DataFlowImpl

Imports

Predicates

flow

Holds if data can flow from source to sink.

flowTo

Holds if data can flow from some source to sink.

flowToExpr

Holds if data can flow from some source to sink.

Classes

Ap

Conceptually a list of Contents, but only the first two elements of the list and its length are tracked. If data flows from a source to a given node with a given AccessPathApprox, this indicates the sequence of dereference operations needed to get from the value in the node to the tracked object.

Ap

A list of Contents.

ApNil
ApNil
ApOption

Modules

Debug

INTERNAL: Only for debugging.

Stages

INTERNAL: Subject to change without notice.

Aliases

Stage6
stageStats

INTERNAL: Only for debugging.

Parameters