Predicate Implementation::copyCall

Holds if tonode is a call that returns a copy (or similar) of the argument fromnode

Import path

import semmle.python.dataflow.old.Implementation

predicate copyCall(ControlFlowNode fromnode, CallNode tonode)