CodeQL library for C#
codeql/csharp-all 1.0.1 (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

Known direct subtypes

    Predicates

    getFront
    getHead
    isCons

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

    len
    toString