CodeQL library for Python
codeql/python-all 0.12.1 (changelog, source)
Search

Class PotentialLibraryCall

A potential call to a summarized callable, a LibraryCallable.

We currently exclude all resolved calls. This means that a call to, say, map, which is a ClassCall, cannot currently be given a summary. We hope to lift this restriction in the future and include all potential calls to summaries in this class.

Import path

import semmle.python.dataflow.new.internal.DataFlowDispatch

Direct supertypes

Indirect supertypes

Fields

Predicates

getArgument

Gets the argument at position apos, if any.

getCallable

Get the callable to which this call goes.

getNode

Get the control flow node representing this call, if any.

getScope

Gets the scope of this node, if any.

toString

Gets a textual representation of this element.

Inherited predicates

getEnclosingCallable

Gets the enclosing callable of this call.

from DataFlowCall
getLocation

Gets the location of this dataflow call.

from ExtractedDataFlowCall
hasLocationInfo

Holds if this element is at the specified location. The location spans column startcolumn of line startline to column endcolumn of line endline in file filepath. For more information, see Locations.

from DataFlowCall

Charpred