From ededfaa40b29ffa7a5874abdaf3a72b05f1eee9f Mon Sep 17 00:00:00 2001 From: Robert Marsh Date: Wed, 7 Sep 2022 14:17:15 -0400 Subject: [PATCH] C++: use-use flow in ArrayAccessProductFlow --- .../src/experimental/Likely Bugs/ArrayAccessProductFlow.ql | 5 +---- 1 file changed, 1 insertion(+), 4 deletions(-) diff --git a/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql b/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql index 85984375cc5..f0f180b358a 100644 --- a/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql +++ b/cpp/ql/src/experimental/Likely Bugs/ArrayAccessProductFlow.ql @@ -24,10 +24,7 @@ class ArraySizeConfiguration extends ProductFlow::Configuration { ArraySizeConfiguration() { this = "ArraySizeConfiguration" } override predicate isSourcePair(DataFlow::Node source1, DataFlow::Node source2) { - exists(GVN sizeGvn | - source1.asConvertedExpr().(AllocationExpr).getSizeExpr() = sizeGvn.getAnExpr() and - source2.asConvertedExpr() = sizeGvn.getAnExpr() - ) + source1.asConvertedExpr().(AllocationExpr).getSizeExpr() = source2.asConvertedExpr() } override predicate isSinkPair(DataFlow::Node sink1, DataFlow::Node sink2) {