PS: Add instance edges for New-Object in API graphs.

Author: MathiasVP

powershell/ql/lib/semmle/code/powershell/ApiGraphs.qll

@@ -367,6 +367,8 @@ module API {
 
     Node methodEdge(string name) { none() }
 
+    Node instanceEdge() { none() }
+
     final predicate isImplicit() { not this.isExplicit(_) }
 
     predicate isExplicit(DataFlow::Node node) { none() }
@@ -431,6 +433,14 @@ module API {
       result = Impl::MkNewObjectTypeNameNode(prefix + "." + name)
     }
 
+    final override Node instanceEdge() {
+      exists(DataFlow::ObjectCreationNode creation |
+        prefix = creation.getLowerCaseConstructedTypeName() and
+        Specific::needsNewObjectTypeNameNode(creation, prefix) and
+        result = getForwardStartNode(creation)
+      )
+    }
+
     final override predicate isExplicit(DataFlow::Node node) {
       Specific::needsNewObjectTypeNameNode(node, prefix)
     }
@@ -698,6 +708,8 @@ module API {
         pred = getForwardEndNode(objCreation.getConstructedTypeNode()) and
         succ = getForwardStartNode(objCreation)
       )
+      or
+      pred.(TypeNameNode).instanceEdge() = succ
     }
 
     cached