Predicate signature loadStep
Holds if nodeTo is the result of accessing the content c of nodeFrom.
Import path
import codeql.typetracking.TypeTrackingsignature predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content c)Holds if nodeTo is the result of accessing the content c of nodeFrom.
import codeql.typetracking.TypeTrackingsignature predicate loadStep(Node nodeFrom, LocalSourceNode nodeTo, Content c)