From c26511307321bb11a4401b41daf094631cf17375 Mon Sep 17 00:00:00 2001 From: Mathias Vorreiter Pedersen Date: Mon, 14 Aug 2023 09:51:28 +0100 Subject: [PATCH] Update cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll Co-authored-by: Jeroen Ketema <93738568+jketema@users.noreply.github.com> --- .../InvalidPointerToDereference.qll | 6 +++--- 1 file changed, 3 insertions(+), 3 deletions(-) diff --git a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll index 39f9d8f96ef..defd04948db 100644 --- a/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll +++ b/cpp/ql/lib/semmle/code/cpp/security/InvalidPointerDereference/InvalidPointerToDereference.qll @@ -114,11 +114,11 @@ private module InvalidPointerToDerefBarrier { private predicate operandGuardChecks( PointerArithmeticInstruction pai, IRGuardCondition g, Operand small, int k, boolean edge ) { - exists(DataFlow::Node source, DataFlow::Node nSmall, DataFlow::Node nBig | + exists(DataFlow::Node source, DataFlow::Node nSmall, DataFlow::Node nLarge | nSmall.asOperand() = small and BarrierConfig::isSource(source, pai) and - BarrierFlow::flow(source, nBig) and - BarrierConfig::isSink(nSmall, nBig, g, k, edge) + BarrierFlow::flow(source, nLarge) and + BarrierConfig::isSink(nSmall, nLarge, g, k, edge) ) }