Predicate DataFlow :: getInstanceArgument
Gets the instance argument of a non-static call.
Import path
import semmle.code.java.dataflow.DataFlow
Node
getInstanceArgument
(
Call
call
)