Boilerplate implementation of default predicates from FlowSummaryImpl.qll

Author: asgerf

javascript/ql/lib/semmle/javascript/dataflow/internal/FlowSummaryPrivate.qll

@@ -374,3 +374,97 @@ private module FlowSummaryStepInput implements Private::StepsInputSig {
 }
 
 module Steps = Private::Steps<FlowSummaryStepInput>;
+
+/**
+ * Gets the textual representation of content `c` used in MaD.
+ *
+ * `arg` will be printed in square brackets (`[]`) after the result, unless
+ * `arg` is the empty string.
+ */
+string encodeContent(ContentSet c, string arg) { none() }
+
+/**
+ * Gets the textual representation of return kind `rk` used in MaD.
+ *
+ * `arg` will be printed in square brackets (`[]`) after the result, unless
+ * `arg` is the empty string.
+ */
+string encodeReturn(ReturnKind rk, string arg) { none() }
+
+/**
+ * Gets the textual representation of without-content `c` used in MaD.
+ *
+ * `arg` will be printed in square brackets (`[]`) after the result, unless
+ * `arg` is the empty string.
+ */
+string encodeWithoutContent(ContentSet c, string arg) { none() }
+
+/**
+ * Gets the textual representation of with-content `c` used in MaD.
+ *
+ * `arg` will be printed in square brackets (`[]`) after the result, unless
+ * `arg` is the empty string.
+ */
+string encodeWithContent(ContentSet c, string arg) { none() }
+
+/**
+ * Gets a parameter position corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeParameterPosition` predicate. This is useful for example when a
+ * single token gives rise to multiple parameter positions, such as ranges
+ * `0..n`.
+ */
+bindingset[token]
+ParameterPosition decodeUnknownParameterPosition(AccessPathSyntax::AccessPathTokenBase token) {
+  none()
+}
+
+/**
+ * Gets an argument position corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeArgumentPosition` predicate. This is useful for example when a
+ * single token gives rise to multiple argument positions, such as ranges
+ * `0..n`.
+ */
+bindingset[token]
+ArgumentPosition decodeUnknownArgumentPosition(AccessPathSyntax::AccessPathTokenBase token) {
+  none()
+}
+
+/**
+ * Gets a content corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeContent` predicate.
+ */
+bindingset[token]
+ContentSet decodeUnknownContent(AccessPathSyntax::AccessPathTokenBase token) { none() }
+
+/**
+ * Gets a return kind corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeReturn` predicate.
+ */
+bindingset[token]
+ReturnKind decodeUnknownReturn(AccessPathSyntax::AccessPathTokenBase token) { none() }
+
+/**
+ * Gets a without-content corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeWithoutContent` predicate.
+ */
+bindingset[token]
+ContentSet decodeUnknownWithoutContent(AccessPathSyntax::AccessPathTokenBase token) { none() }
+
+/**
+ * Gets a with-content corresponding to the unknown token `token`.
+ *
+ * The token is unknown because it could not be reverse-encoded using the
+ * `encodeWithContent` predicate.
+ */
+bindingset[token]
+ContentSet decodeUnknownWithContent(AccessPathSyntax::AccessPathTokenBase token) { none() }

javascript/ql/lib/semmle/javascript/dataflow/internal/sharedlib/DataFlowArg.qll

@@ -30,4 +30,24 @@ module JSFlowSummary implements FlowSummaryImpl::InputSig<Location, JSDataFlow>
 
   // Explicitly implement signature members that have a default
   predicate callbackSelfParameterPosition = FlowSummaryPrivate::callbackSelfParameterPosition/0;
+
+  predicate encodeContent = FlowSummaryPrivate::encodeContent/2;
+
+  predicate encodeReturn = FlowSummaryPrivate::encodeReturn/2;
+
+  predicate encodeWithoutContent = FlowSummaryPrivate::encodeWithoutContent/2;
+
+  predicate encodeWithContent = FlowSummaryPrivate::encodeWithContent/2;
+
+  predicate decodeUnknownParameterPosition = FlowSummaryPrivate::decodeUnknownParameterPosition/1;
+
+  predicate decodeUnknownArgumentPosition = FlowSummaryPrivate::decodeUnknownArgumentPosition/1;
+
+  predicate decodeUnknownContent = FlowSummaryPrivate::decodeUnknownContent/1;
+
+  predicate decodeUnknownReturn = FlowSummaryPrivate::decodeUnknownReturn/1;
+
+  predicate decodeUnknownWithoutContent = FlowSummaryPrivate::decodeUnknownWithoutContent/1;
+
+  predicate decodeUnknownWithContent = FlowSummaryPrivate::decodeUnknownWithContent/1;
 }