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

Class MakeImpl::Impl::Stage5Param::Ap

Conceptually a list of Contents where nested tails are also paired with a DataFlowType, 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. The DataFlowTypes indicate the types of the stored values.

Import path

import codeql.dataflow.internal.DataFlowImpl

Direct supertypes

Predicates

getFront
getHead
isCons

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

len
toString