Predicate signature callStep
Holds if nodeFrom steps to nodeTo by being passed as a parameter in a
call.
Import path
import codeql.typetracking.TypeTrackingsignature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)Holds if nodeFrom steps to nodeTo by being passed as a parameter in a
call.
import codeql.typetracking.TypeTrackingsignature predicate callStep(Node nodeFrom, LocalSourceNode nodeTo)