Predicate isNonLocal
Holds if the given component can’t be evaluated by evaluateSummaryComponentStackLocal.
Import path
import codeql.ruby.typetracking.TypeTrackerSpecificpredicate isNonLocal(SummaryComponent component)Holds if the given component can’t be evaluated by evaluateSummaryComponentStackLocal.
import codeql.ruby.typetracking.TypeTrackerSpecificpredicate isNonLocal(SummaryComponent component)