Merge branch 'main' into denisl/goreferenceupdate

Author: ropwareJB

powershell/misc/typemodelgen.py

@@ -155,7 +155,7 @@ def writeModels():
         with open(filename, "x") as file:
             file.write("extensions:\n")
             file.write("  - addsTo:\n")
-            file.write("      pack: microsoft-sdl/powershell-all\n")
+            file.write("      pack: microsoft/powershell-all\n")
             file.write("      extensible: typeModel\n")
             file.write("    data:\n")
             for summary in s:

powershell/ql/consistency-queries/qlpack.yml

@@ -5,5 +5,5 @@ groups:
   - test
   - consistency-queries
 dependencies:
-  microsoft-sdl/powershell-all: ${workspace}
+  microsoft/powershell-all: ${workspace}
 warnOnImplicitThis: true

powershell/ql/lib/qlpack.yml

@@ -1,4 +1,4 @@
-name: microsoft-sdl/powershell-all
+name: microsoft/powershell-all
 version: 0.0.1
 groups: 
   - powershell
@@ -16,4 +16,4 @@ dependencies:
 dataExtensions:
   - semmle/code/powershell/frameworks/**/model.yml
   - semmle/code/powershell/frameworks/**/*.model.yml
-warnOnImplicitThis: true
+warnOnImplicitThis: true

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

@@ -511,7 +511,7 @@ module API {
     predicate toplevelCall(string name, Node node) {
       exists(DataFlow::CallNode call |
         call.asExpr().getExpr().getEnclosingScope() instanceof TopLevelScriptBlock and
-        call.getName() = name and
+        call.getLowerCaseName() = name and
         node = MkMethodAccessNode(call)
       )
     }
@@ -522,7 +522,7 @@ module API {
         // from receiver to method call node
         pred = getForwardEndNode(getALocalSourceStrict(call.getQualifier())) and
         succ = MkMethodAccessNode(call) and
-        name = call.getName()
+        name = call.getLowerCaseName()
       )
     }
 
@@ -549,7 +549,7 @@ module API {
           _)
       |
         result = MkMethodAccessNode(call) and
-        name = call.getName().toLowerCase()
+        name = call.getLowerCaseName()
       )
     }
 
@@ -586,7 +586,7 @@ module API {
     cached
     predicate methodEdge(Node pred, string name, Node succ) {
       exists(DataFlow::CallNode call |
-        succ = MkMethodAccessNode(call) and name = call.getName().toLowerCase()
+        succ = MkMethodAccessNode(call) and name = call.getLowerCaseName()
       |
         pred = getForwardEndNode(getALocalSourceStrict(call.getQualifier()))
       )

powershell/ql/lib/semmle/code/powershell/ast/internal/CallExpr.qll

@@ -5,7 +5,17 @@ class CallExpr extends Expr, TCallExpr {
   Expr getArgument(int i) { none() }
 
   /** Gets the name that is used to select the callee. */
-  string getName() { none() }
+  string getLowerCaseName() { none() }
+
+  /** Holds if `name` is the name of this call. The name is case insensitive. */
+  bindingset[name]
+  pragma[inline_late]
+  final predicate matchesName(string name) { this.getLowerCaseName() = name.toLowerCase() }
+
+  /** Gets a name that case-insensitively matches the name of this call. */
+  bindingset[result]
+  pragma[inline_late]
+  final string getAName() { result.toLowerCase() = this.getLowerCaseName() }
 
   /** Gets the i'th positional argument to this call. */
   Expr getPositionalArgument(int i) { none() }
@@ -32,7 +42,7 @@ class CallExpr extends Expr, TCallExpr {
     exists(Pipeline p, int i | this = p.getComponent(i + 1) and result = p.getComponent(i))
   }
 
-  final override string toString() { result = "Call to " + this.getName() }
+  final override string toString() { result = "Call to " + this.getLowerCaseName() }
 
   predicate isStatic() { none() }
 }
@@ -44,7 +54,15 @@ class Argument extends Expr {
 
   int getPosition() { this = call.getPositionalArgument(result) }
 
-  string getName() { this = call.getNamedArgument(result) }
+  string getLowerCaseName() { this = call.getNamedArgument(result) }
+
+  bindingset[name]
+  pragma[inline_late]
+  final predicate matchesName(string name) { this.getLowerCaseName() = name.toLowerCase() }
+
+  bindingset[result]
+  pragma[inline_late]
+  final string getAName() { result.toLowerCase() = this.getLowerCaseName() }
 
   CallExpr getCall() { result = call }
 }

powershell/ql/lib/semmle/code/powershell/ast/internal/ChildIndex.qll

@@ -37,7 +37,7 @@ newtype ChildIndex =
   RealVar(string name) { name = variableNameInScope(_, _) } or
   ProcessBlockPipelineVarReadAccess() or
   ProcessBlockPipelineByPropertyNameVarReadAccess(string name) {
-    name = any(Raw::PipelineByPropertyNameParameter p).getName()
+    name = any(Raw::PipelineByPropertyNameParameter p).getLowerCaseName()
   }
 
 int synthPipelineParameterChildIndex(Raw::ScriptBlock sb) {

powershell/ql/lib/semmle/code/powershell/ast/internal/Command.qll

@@ -1,7 +1,7 @@
 private import AstImport
 
 class CmdCall extends CallExpr, TCmd {
-  final override string getName() { result = getRawAst(this).(Raw::Cmd).getCommandName() }
+  final override string getLowerCaseName() { result = getRawAst(this).(Raw::Cmd).getLowerCaseName() }
 
   final override Expr getArgument(int i) { synthChild(getRawAst(this), cmdArgument(i), result) }
 
@@ -85,7 +85,7 @@ class DotSourcingOperator extends CmdCall {
 }
 
 class JoinPath extends CmdCall {
-  JoinPath() { this.getName().toLowerCase() = "join-path" }
+  JoinPath() { this.getLowerCaseName() = "join-path" }
 
   Expr getPath() {
     result = this.getNamedArgument("path")
@@ -103,7 +103,7 @@ class JoinPath extends CmdCall {
 }
 
 class SplitPath extends CmdCall {
-  SplitPath() { this.getName().toLowerCase() = "split-path" }
+  SplitPath() { this.getLowerCaseName() = "split-path" }
 
   Expr getPath() {
     result = this.getNamedArgument("path")
@@ -131,7 +131,7 @@ class SplitPath extends CmdCall {
 }
 
 class GetVariable extends CmdCall {
-  GetVariable() { this.getName().toLowerCase() = "get-variable" }
+  GetVariable() { this.getLowerCaseName() = "get-variable" }
 
   Expr getVariable() { result = this.getPositionalArgument(0) }
 

powershell/ql/lib/semmle/code/powershell/ast/internal/InvokeMemberExpression.qll

@@ -1,7 +1,9 @@
 private import AstImport
 
 class InvokeMemberExpr extends CallExpr, TInvokeMemberExpr {
-  final override string getName() { result = getRawAst(this).(Raw::InvokeMemberExpr).getName() }
+  final override string getLowerCaseName() {
+    result = getRawAst(this).(Raw::InvokeMemberExpr).getLowerCaseName()
+  }
 
   final override Ast getChild(ChildIndex i) {
     result = super.getChild(i)
@@ -66,7 +68,7 @@ class ConstructorCall extends InvokeMemberExpr {
   TypeNameExpr typename;
 
   ConstructorCall() {
-    this.isStatic() and typename = this.getQualifier() and this.getName() = "new"
+    this.isStatic() and typename = this.getQualifier() and this.getLowerCaseName() = "new"
   }
 
   /** Gets the name of the type being constructed by this constructor call. */
@@ -81,5 +83,5 @@ class ConstructorCall extends InvokeMemberExpr {
  * ```
  */
 class ToStringCall extends InvokeMemberExpr {
-  ToStringCall() { this.getName().toLowerCase() = "toString" }
+  ToStringCall() { this.getLowerCaseName() = "tostring" }
 }

powershell/ql/lib/semmle/code/powershell/ast/internal/NamedBlock.qll

@@ -60,7 +60,7 @@ class ProcessBlock extends NamedBlock {
 
   PipelineByPropertyNameParameter getPipelineByPropertyNameParameter(string name) {
     result = scriptBlock.getAParameter() and
-    result.getPropertyName() = name
+    result.getLowerCaseName() = name
   }
 
   PipelineByPropertyNameParameter getAPipelineByPropertyNameParameter() {

powershell/ql/lib/semmle/code/powershell/ast/internal/ObjectCreation.qll

@@ -28,7 +28,7 @@ class NewObjectCreation extends AbstractObjectCreation, ConstructorCall {
  * ```
  */
 class DotNetObjectCreation extends AbstractObjectCreation, CmdCall {
-  DotNetObjectCreation() { this.getName() = "New-Object" }
+  DotNetObjectCreation() { this.getLowerCaseName() = "new-object" }
 
   final override string getConstructedTypeName() {
     result = this.getConstructedTypeExpr().(StringConstExpr).getValueString()