Predicate resolveClassInstanceCall
Holds when call
is a call on a class instance, that goes to the __call__
method
of the class.
See https://docs.python.org/3/reference/datamodel.html#object.call
Import path
import semmle.python.dataflow.new.internal.DataFlowDispatch
predicate resolveClassInstanceCall(CallNode call, Function target, Node self)