C#: Re-factor the CallSensitivityFlow test to use the new API.

michaelnebel · michaelnebel · commit 388cb704d01e · 2023-04-17T11:38:37.000+02:00
diff --git a/csharp/ql/test/library-tests/dataflow/call-sensitivity/CallSensitivityFlow.ql b/csharp/ql/test/library-tests/dataflow/call-sensitivity/CallSensitivityFlow.ql
@@ -3,21 +3,21 @@
  */
 
 import csharp
-import DataFlow::PathGraph
+import CallSensitivity::PathGraph
 
-class Conf extends DataFlow::Configuration {
-  Conf() { this = "CallSensitiveFlowConf" }
+module CallSensitivityConfig implements DataFlow::ConfigSig {
+  predicate isSource(DataFlow::Node src) { src.asExpr() instanceof ObjectCreation }
 
-  override predicate isSource(DataFlow::Node src) { src.asExpr() instanceof ObjectCreation }
-
-  override predicate isSink(DataFlow::Node sink) {
+  predicate isSink(DataFlow::Node sink) {
     exists(MethodCall mc |
       mc.getTarget().hasName("Sink") and
       mc.getAnArgument() = sink.asExpr()
     )
   }
 }
 
-from DataFlow::PathNode source, DataFlow::PathNode sink, Conf conf
-where conf.hasFlowPath(source, sink)
+module CallSensitivity = DataFlow::Global<CallSensitivityConfig>;
+
+from CallSensitivity::PathNode source, CallSensitivity::PathNode sink
+where CallSensitivity::flowPath(source, sink)
 select source, source, sink, "$@", sink, sink.toString()
