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

Class DataFlowCallable

A callable, which may be:

  • a function (that may contain code)
  • a summarized function (that may contain only FlowSummaryNodes)
  • a variable (this is used as context for global initialization, and also for the mid-point in interprocedural data flow between a write and read of a global variable in different functions). When flow crosses from one enclosing callable to another, the interprocedural data-flow library discards call contexts and inserts a node in the big-step relation used for human-readable path explanations.

Import path

import semmle.code.cpp.ir.dataflow.internal.DataFlowPrivate

Direct supertypes

Known direct subtypes

    Predicates

    asSourceCallable

    Gets the Declaration corresponding to this callable if it exists in the database. For summarized callables (which may not exist in the database), use asSummarizedCallable.

    asSummarizedCallable

    Gets the underlying summarized callable, if this callable is generated from a models-as-data model.

    getLocation

    Gets the location of this callable.

    getUnderlyingCallable

    Gets the underlying Declaration of this DataFlowCallable. This predicate returns a result for both source and summarized callables.

    toString

    Gets a textual representation of this callable.