From 7fcb777c544f23805a145581e163217a80558209 Mon Sep 17 00:00:00 2001 From: Jeroen Ketema Date: Wed, 20 Apr 2022 14:51:42 +0200 Subject: [PATCH] C++: Use IR DataFlow library in `getBufferSize` --- .../semmle/code/cpp/security/PrivateCleartextWrite.qll | 2 +- cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll b/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll index f82330f3fbdc..fe1c66642800 100644 --- a/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll +++ b/cpp/ql/lib/experimental/semmle/code/cpp/security/PrivateCleartextWrite.qll @@ -3,7 +3,7 @@ */ import cpp -import semmle.code.cpp.dataflow.TaintTracking +import semmle.code.cpp.ir.dataflow.TaintTracking import semmle.code.cpp.security.PrivateData import semmle.code.cpp.security.FileWrite import semmle.code.cpp.security.BufferWrite diff --git a/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll b/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll index 2328476d525c..cf940def0d44 100644 --- a/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll +++ b/cpp/ql/lib/semmle/code/cpp/commons/Buffer.qll @@ -1,5 +1,5 @@ import cpp -import semmle.code.cpp.dataflow.DataFlow +import semmle.code.cpp.ir.dataflow.DataFlow /** * Holds if `v` is a member variable of `c` that looks like it might be variable sized