Python: Reword comment on isBarrierIn

python/ql/test/experimental/dataflow/coverage/argumentRouting1.ql

@@ -32,8 +32,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting2.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting3.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting4.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting5.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting6.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }

python/ql/test/experimental/dataflow/coverage/argumentRouting7.ql

@@ -24,8 +24,10 @@ class ArgumentRoutingConfig extends DataFlow::Configuration {
   }
 
   /**
-   * This prevents the argument from one call to reach the sink
-   * via a different call, by flowing to an argument of that.
+   * We want to be able to use `arg` in a sequence of calls such as `func(kw=arg); ... ; func(arg)`.
+   * Use-use flow lets the argument to the first call reach the sink inside the second call,
+   * making it seem like we handle all cases even if we only handle the last one.
+   * We make the test honest by preventing flow into source nodes.
    */
   override predicate isBarrierIn(DataFlow::Node node) { isSource(node) }
 }