diff --git a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll index 1a36e348535..ddf37822c15 100644 --- a/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll +++ b/ql/src/semmle/go/security/AllocationSizeOverflowCustomizations.qll @@ -150,7 +150,7 @@ module AllocationSizeOverflow { private predicate isSmall(Expr e) { isSmallType(e.getType()) or - exists(e.getExactValue()) + e.isConst() or exists(KeyValueExpr kv | kv = e | isSmall(kv.getKey()) and