Predicate StepSummary::smallstep
Gets the summary that corresponds to having taken a forwards
local, heap and/or inter-procedural step from nodeFrom to nodeTo.
Unlike StepSummary::step, this predicate does not compress
type-preserving steps.
Import path
import codeql.ruby.typetracking.TypeTrackerpredicate smallstep(Node nodeFrom, TypeTrackingNode nodeTo, StepSummary summary)