Merge branch 'main' into mbaluda/updateql2.9.4

Author: mbaluda

.github/touch

@@ -0,0 +1 @@
+

.github/workflows/bump-version.yml

@@ -21,7 +21,6 @@ jobs:
           run: |
             bash ./scripts/bump_version.sh ${{ github.event.inputs.new_version }}
 
-        - uses: actions/checkout@v3
         - name: Create Pull Request
           uses: peter-evans/create-pull-request@v4
           with: 
@@ -30,4 +29,4 @@ jobs:
             commit-message: "Version bump to ${{ github.event.inputs.new_version }}."
             team-reviewers: github/codeql-coding-standards
             delete-branch: true
-            branch: "codeql/version-bump-${{ github.event.inputs.new_version }}"
+            branch: "automation/version-bump-${{ github.event.inputs.new_version }}"

cpp/autosar/src/rules/A10-2-1/NonVirtualPublicOrProtectedFunctionsRedefined.ql

@@ -29,8 +29,8 @@ where
   not f instanceof Operator and
   (
     exists(MemberFunction shadowingFunction |
-      getPublicOrPrivateDerivedClass+(f.getDeclaringType()) = shadowingFunction.getDeclaringType() and
-      f.getName() = shadowingFunction.getName() and
+      getPublicOrPrivateDerivedClass+(f.getDeclaringType()) = subclass and
+      f.getName() = pragma[only_bind_out](shadowingFunction.getName()) and
       e = shadowingFunction and
       description = "this member function" and
       subclass = shadowingFunction.getDeclaringType()

cpp/autosar/src/rules/M10-2-1/UniqueAccessibleEntityNamesInMultipleInheritance.ql

@@ -54,8 +54,8 @@ where
   // and the declaring types of both declarations are not in the same inheritance hierarchy
   not decl1.getDeclaringType().getABaseClass*() = decl2.getDeclaringType().getABaseClass*() and
   // and both declarations are accessible from 'derived'
-  decl1.isAccessibleFromClass(derived) and
-  decl2.isAccessibleFromClass(derived) and
+  pragma[only_bind_into](decl1).isAccessibleFromClass(derived) and
+  pragma[only_bind_into](decl2).isAccessibleFromClass(derived) and
   // and the declaring type name (DTN) of decl1 is less than the DTN of decl2 (remove permutations)
   decl1 =
     rank[1](MemberEntityDeclaration decl |

cpp/common/src/codingstandards/cpp/FunctionEquivalence.qll

@@ -66,7 +66,7 @@ private newtype TParameterEquivalenceClass =
  */
 class ParameterEquivalenceClass extends TParameterEquivalenceClass {
   /** Gets a `Function` whose `Parameter` at `index` is part of the equivalence class. */
-  pragma[noinline]
+  pragma[nomagic]
   private Function getAFunction(int index) {
     exists(string qualifiedName, string typeSig |
       functionSignature(result, qualifiedName, typeSig) and