Dataflow: review fixes

Author: aschackmull

shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

@@ -54,7 +54,10 @@ module MakeImplCommon<InputSig Lang> {
       override string toString() { result = "FeatureEqualSourceSinkCallContext" }
     }
 
-    signature predicate sourceNode(Node n);
+    /**
+     * Holds if `source` is a relevant data flow source.
+     */
+    signature predicate sourceNode(Node source);
 
     /**
      * EXPERIMENTAL: This API is subject to change without notice.
@@ -102,6 +105,7 @@ module MakeImplCommon<InputSig Lang> {
       argumentValueFlowsThrough(n1, TReadStepTypesNone(), n2)
     }
 
+    // TODO: support setters
     predicate storeStep(Node n1, Node n2, Content f) { storeSet(n1, f, n2, _, _) }
 
     predicate loadStep(Node n1, LocalSourceNode n2, Content f) {
@@ -720,7 +724,7 @@ module MakeImplCommon<InputSig Lang> {
          * If a read step was taken, then `read` captures the `Content`, the
          * container type, and the content type.
          */
-        pragma[nomagic]
+        cached
         predicate argumentValueFlowsThrough(ArgNode arg, ReadStepTypesOption read, Node out) {
           exists(DataFlowCall call, ReturnKind kind |
             argumentValueFlowsThrough0(call, arg, kind, read) and