diff --git a/cpp/ql/src/Critical/FlowAfterFree.qll b/cpp/ql/src/Critical/FlowAfterFree.qll index a264a26af0d..caca108f4b2 100644 --- a/cpp/ql/src/Critical/FlowAfterFree.qll +++ b/cpp/ql/src/Critical/FlowAfterFree.qll @@ -87,6 +87,8 @@ module FlowFromFree { | e = any(StoreInstruction store).getDestinationAddress().getUnconvertedResultExpression() ) + or + n.asExpr() instanceof ArrayExpr } }