CodeQL library for C/C++
codeql/cpp-all 2.1.1 (changelog, source)
Search

Class MakeImpl::Impl::Stage6Param::Ap

A list of Contents where nested tails are also paired with a DataFlowType. If data flows from a source to a given node with a given AccessPath, this indicates the sequence of dereference operations needed to get from the value in the node to the tracked object. The DataFlowTypes indicate the types of the stored values.

Import path

import codeql.dataflow.internal.DataFlowImpl

Direct supertypes

Predicates

getApprox

Gets the approximation of this access path.

getFront

Gets the front of this access path.

getHead

Gets the head of this access path, if any.

isCons

Holds if this is a representation of head followed by the typ,tail pair.

length

Gets the length of this access path.

toString

Gets a textual representation of this access path.