Go: Exclude all FlowSummaryNodes from test results

Author: mbg

go/ql/test/library-tests/semmle/go/dataflow/FlowSteps/LocalTaintStep.ql

@@ -1,16 +1,11 @@
 import go
+import semmle.go.dataflow.internal.DataFlowPrivate
 
 from DataFlow::Node nd, DataFlow::Node succ
 where
   TaintTracking::localTaintStep(nd, succ) and
   // exclude data-flow steps
   not DataFlow::localFlowStep(nd, succ) and
   // Exclude results from libraries
-  not exists(string pkg, string name |
-    nd.(DataFlow::SummarizedParameterNode)
-        .getCallable()
-        .asSummarizedCallable()
-        .asFunction()
-        .hasQualifiedName(pkg, name)
-  )
+  not nd instanceof FlowSummaryNode
 select nd, succ

go/ql/test/library-tests/semmle/go/frameworks/TaintSteps/TaintStep.ql

@@ -1,17 +1,12 @@
 // This test finds taint tracking steps which are not data flow steps
 // to illustrate which steps are added specifically by taint tracking
 import go
+import semmle.go.dataflow.internal.DataFlowPrivate
 
 from DataFlow::Node pred, DataFlow::Node succ
 where
   TaintTracking::localTaintStep(pred, succ) and
   not DataFlow::localFlowStep(pred, succ) and
   // Exclude results from libraries
-  not exists(string pkg, string name |
-    pred.(DataFlow::SummarizedParameterNode)
-        .getCallable()
-        .asSummarizedCallable()
-        .asFunction()
-        .hasQualifiedName(pkg, name)
-  )
+  not pred instanceof FlowSummaryNode
 select pred, succ