From 61b8f97b75701483fa198f5a65a845dff196cde7 Mon Sep 17 00:00:00 2001 From: Michael Nebel Date: Fri, 31 Mar 2023 15:54:29 +0200 Subject: [PATCH] C#: Re-factor the flowsources test. --- .../dataflow/flowsources/StoredFlowSources.ql | 14 +++++++------- 1 file changed, 7 insertions(+), 7 deletions(-) diff --git a/csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql b/csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql index 9e01577b3cc..854a09b4b9c 100644 --- a/csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql +++ b/csharp/ql/test/library-tests/security/dataflow/flowsources/StoredFlowSources.ql @@ -1,13 +1,13 @@ import semmle.code.csharp.security.dataflow.flowsources.Stored -class StoredConfig extends TaintTracking::Configuration { - StoredConfig() { this = "stored" } +module StoredConfig implements DataFlow::ConfigSig { + predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource } - override predicate isSource(DataFlow::Node s) { s instanceof StoredFlowSource } - - override predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() } + predicate isSink(DataFlow::Node s) { s.asExpr().fromSource() } } -from StoredConfig s, DataFlow::Node sink -where s.hasFlow(any(StoredFlowSource sfs), sink) +module Stored = TaintTracking::Global; + +from DataFlow::Node sink +where Stored::flow(any(StoredFlowSource sfs), sink) select sink