C#: Convert System.Threading.Tasks.TaskFactory flow to CSV format.

Author: michaelnebel

csharp/ql/lib/semmle/code/csharp/dataflow/LibraryTypeDataFlow.qll

@@ -1410,87 +1410,6 @@ private class SystemRuntimeCompilerServicesConfiguredTaskAwaitableTFlow extends
   }
 }
 
-/** Data flow for `System.Threading.Tasks.TaskFactory`(`<TResult>`). */
-class SystemThreadingTasksFactoryFlow extends LibraryTypeDataFlow {
-  SystemThreadingTasksFactoryFlow() {
-    this instanceof SystemThreadingTasksClass and
-    this.getName().regexpMatch("TaskFactory(<>)?")
-  }
-
-  override predicate callableFlow(
-    CallableFlowSource source, AccessPath sourceAp, CallableFlowSink sink, AccessPath sinkAp,
-    SourceDeclarationCallable c, boolean preservesValue
-  ) {
-    this.methodFlow(source, sourceAp, sink, sinkAp, c) and
-    preservesValue = true
-  }
-
-  private predicate methodFlow(
-    CallableFlowSource source, AccessPath sourceAp, CallableFlowSink sink, AccessPath sinkAp,
-    SourceDeclarationMethod m
-  ) {
-    m.getDeclaringType() = this and
-    (
-      m.getUndecoratedName().regexpMatch("ContinueWhen(All|Any)") and
-      (
-        // flow into supplied function
-        exists(ConstructedDelegateType delegate, ArrayType at, int i, int j, int k |
-          at = m.getParameter(i).getType() and
-          at.getElementType() = any(SystemThreadingTasksTaskTClass c).getAConstructedGeneric() and
-          (at = delegate.getTypeArgument(k) or at.getElementType() = delegate.getTypeArgument(k)) and
-          m.getParameter(j).getType() = delegate and
-          (
-            delegate.getUnboundGeneric() instanceof SystemActionTDelegateType or
-            delegate.getUnboundGeneric() instanceof SystemFuncDelegateType
-          ) and
-          source = TCallableFlowSourceArg(i) and
-          sourceAp = AccessPath::empty() and
-          sink = getDelegateFlowSinkArg(m, j, k) and
-          sinkAp = AccessPath::empty()
-        )
-        or
-        // flow out of supplied function
-        exists(ConstructedDelegateType func, int i |
-          m.getParameter(i).getType() = func and
-          func.getUnboundGeneric() instanceof SystemFuncDelegateType and
-          source = getDelegateFlowSourceArg(m, i) and
-          sourceAp = AccessPath::empty() and
-          sink = TCallableFlowSinkReturn() and
-          sinkAp = AccessPath::property(any(SystemThreadingTasksTaskTClass c).getResultProperty())
-        )
-      )
-      or
-      m.hasUndecoratedName("StartNew") and
-      (
-        // flow from supplied state to supplied delegate
-        exists(ConstructedDelegateType delegate, int i, int j, int k |
-          m.getParameter(i).getType() instanceof ObjectType and
-          m.getParameter(j).getType() = delegate and
-          (
-            delegate.getUnboundGeneric() instanceof SystemActionTDelegateType or
-            delegate.getUnboundGeneric() instanceof SystemFuncDelegateType
-          ) and
-          delegate.getTypeArgument(k) instanceof ObjectType and
-          source = TCallableFlowSourceArg(i) and
-          sourceAp = AccessPath::empty() and
-          sink = getDelegateFlowSinkArg(m, j, k) and
-          sinkAp = AccessPath::empty()
-        )
-        or
-        // flow out of supplied function
-        exists(ConstructedDelegateType func, int i |
-          m.getParameter(i).getType() = func and
-          func.getUnboundGeneric() instanceof SystemFuncDelegateType and
-          source = getDelegateFlowSourceArg(m, i) and
-          sourceAp = AccessPath::empty() and
-          sink = TCallableFlowSinkReturn() and
-          sinkAp = AccessPath::property(any(SystemThreadingTasksTaskTClass c).getResultProperty())
-        )
-      )
-    )
-  }
-}
-
 /** Data flow for `System.Runtime.CompilerServices.TaskAwaiter<>`. */
 class SystemRuntimeCompilerServicesTaskAwaiterFlow extends LibraryTypeDataFlow,
   SystemRuntimeCompilerServicesTaskAwaiterStruct {