We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent c9ed039 commit 2f517deCopy full SHA for 2f517de
cpp/ql/src/semmle/code/cpp/commons/Buffer.qll
@@ -36,7 +36,7 @@ predicate memberMayBeVarSize(Class c, MemberVariable v) {
36
so.(SizeofExprOperator).getExprOperand().getType().getUnspecifiedType() = c |
37
38
// arithmetic is performed on the result
39
- so.getParent*() instanceof BinaryArithmeticOperation
+ so.getParent*() instanceof AddExpr
40
) or exists(AddressOfExpr aoe |
41
// `&(c.v)` is taken
42
aoe.getAddressable() = v
0 commit comments