From cb50787ec4e29d9ab615d2e6dd21d48c61955970 Mon Sep 17 00:00:00 2001 From: Kevin Backhouse Date: Thu, 7 Jul 2022 12:56:12 +0100 Subject: [PATCH] Eliminate some false positive results. --- .../codeql-queries/exiv2-cpp-queries/unsafe_vector_access.ql | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/.github/codeql-queries/exiv2-cpp-queries/unsafe_vector_access.ql b/.github/codeql-queries/exiv2-cpp-queries/unsafe_vector_access.ql index 4a4c578b..7a9356bc 100644 --- a/.github/codeql-queries/exiv2-cpp-queries/unsafe_vector_access.ql +++ b/.github/codeql-queries/exiv2-cpp-queries/unsafe_vector_access.ql @@ -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)) ) }