Merge pull request #2273 from kevinbackhouse/unsafe-vector-access

Eliminate some false positive results
2022-07-07 13:26:48 +01:00
parent 118731d8b8 cb50787ec4
commit 75c53ea2e9
1 changed files with 1 additions and 1 deletions
@@ -53,7 +53,7 @@ predicate indexK_with_fixedarray(ClassTemplateInstantiation t, ArrayIndexCall ca
    t.getSimpleName() = "array" and
    idx = call.getArgument(0) and
    lowerBound(idx) >= 0 and
-    upperBound(idx) < t.getTemplateArgument(1).(Literal).getValue().toInt()
+    upperBound(idx) < lowerBound(t.getTemplateArgument(1))
  )
 }