Predicate SsaSource::method_call_refinement
Holds if v is used as the receiver in a method call.
Import path
import semmle.python.essa.SsaDefinitionspredicate method_call_refinement(Variable v, ControlFlowNode use, CallNode call)Holds if v is used as the receiver in a method call.
import semmle.python.essa.SsaDefinitionspredicate method_call_refinement(Variable v, ControlFlowNode use, CallNode call)