From 332733a92e8747695de9fe96dfe79eb575c04e58 Mon Sep 17 00:00:00 2001 From: Tom Hvitved Date: Thu, 13 Feb 2020 12:59:50 +0100 Subject: [PATCH] Java/C++: Follow-up changes --- .../src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll | 2 +- .../semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll | 2 +- .../src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll index 7e2e85c36ed..dc035ec8681 100644 --- a/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/src/semmle/code/cpp/dataflow/internal/DataFlowPrivate.qll @@ -302,4 +302,4 @@ class DataFlowCall extends Expr { predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation -int flowThroughAccessPathLimit() { none() } +int accessPathLimit() { result = 5 } diff --git a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll index f8d31122a57..e7e185d3f56 100644 --- a/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll +++ b/cpp/ql/src/semmle/code/cpp/ir/dataflow/internal/DataFlowPrivate.qll @@ -205,4 +205,4 @@ class DataFlowCall extends CallInstruction { predicate isUnreachableInCall(Node n, DataFlowCall call) { none() } // stub implementation -int flowThroughAccessPathLimit() { none() } +int accessPathLimit() { result = 5 } diff --git a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll index 2ed5f0ac40b..77c106b4042 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/DataFlowPrivate.qll @@ -323,4 +323,4 @@ predicate isUnreachableInCall(Node n, DataFlowCall call) { ) } -int flowThroughAccessPathLimit() { none() } +int accessPathLimit() { result = 5 }