From 8054cde9fca57bbf4f5edf5d953dba9ac612c1e6 Mon Sep 17 00:00:00 2001 From: Jonas Jensen Date: Wed, 12 Feb 2020 15:37:11 +0100 Subject: [PATCH] WIP: Switch on IR --- cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll | 2 +- .../src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll b/cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll index 27870fb3671..e20dfd83efd 100644 --- a/cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll +++ b/cpp/ql/src/semmle/code/cpp/security/TaintTracking.qll @@ -2,4 +2,4 @@ * Support for tracking tainted data through the program. */ -import TaintTrackingImpl +import semmle.code.cpp.ir.dataflow.DefaultTaintTracking diff --git a/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll b/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll index 7a2d43a26e0..cb28edc07b9 100644 --- a/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll +++ b/cpp/ql/src/semmle/code/cpp/valuenumbering/GlobalValueNumbering.qll @@ -1 +1 @@ -import GlobalValueNumberingImpl +import semmle.code.cpp.ir.internal.ASTValueNumbering