CPP: Fix array size bug in memberMayBeVarSize.

geoffw0 · Robert Marsh · commit 19a53cde79d6 · 2018-11-07T15:11:53.000-08:00
diff --git a/cpp/ql/src/semmle/code/cpp/commons/Buffer.qll b/cpp/ql/src/semmle/code/cpp/commons/Buffer.qll
@@ -27,7 +27,7 @@ predicate memberMayBeVarSize(Class c, MemberVariable v) {
     v = c.getCanonicalMember(i) and
 
     // v is an array of size at most 1
-    v.getType().getUnspecifiedType().(ArrayType).getSize() <= 1
+    v.getType().getUnspecifiedType().(ArrayType).getArraySize() <= 1
   ) and (
     exists(SizeofOperator so |
       // `sizeof(c)` is taken
