Predicate Private::getAPreciseArrayIndex
Gets the largest array index should be propagated precisely through flow summaries.
Import path
import semmle.javascript.dataflow.internal.ContentsGets the largest array index should be propagated precisely through flow summaries.
import semmle.javascript.dataflow.internal.Contents