todo

Author: hvitved

shared/dataflow/codeql/dataflow/internal/FlowSummaryImpl.qll

@@ -848,6 +848,29 @@ module Make<
      * Argument[0].Parameter[1].Field[A].Field[B]
      * ```
      *
+     * TODO: turn this into
+     *
+     * ```
+     * Field[A].Field[B].Parameter[1].Argument[0]
+     * ```
+     *
+     * so we can process the stack top-down.
+     *
+     *
+     * For a sink access path like
+     *
+     * ```
+     * Argument[0].ReturnValue.Field[A].Field[B]
+     * ```
+     *
+     * TODO: turn this into
+     *
+     * ```
+     * Field[B].Field[A].ReturnValue.Argument[0]
+     * ```
+     *
+     * so we can process the stack top-down.
+     *
      * We want flow to start at the element corresponding to the first argument, then
      * proceed to the parameter of the callback referred to by that argument, then a
      * store into `A`, and finally a store into `B`.