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)
Holds if tonode
is a call that returns a copy (or similar) of the argument fromnode
import semmle.python.dataflow.old.Implementation
predicate copyCall(ControlFlowNode fromnode, CallNode tonode)