Merge pull request #169 from ponder-lab/dependabot/maven/wala.version-1.6.12

Bump wala.version from 1.6.11 to 1.6.12

Author: khatchad

com.ibm.wala.cast.python/pom.xml

@@ -44,6 +44,10 @@
       <groupId>com.google.guava</groupId>
       <artifactId>guava</artifactId>
     </dependency>
+    <dependency>
+      <groupId>org.jetbrains</groupId>
+      <artifactId>annotations</artifactId>
+    </dependency>
   </dependencies>
   <build>
     <resources>

com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonScopeMappingInstanceKeys.java

@@ -53,4 +53,15 @@ protected Collection<CGNode> getConstructorCallers(
       ScopeMappingInstanceKey smik, Pair<String, String> name) {
     return Collections.singleton(smik.getCreator());
   }
+
+  @Override
+  protected boolean isTrueConstructorCall(Pair<String, String> name, CGNode callerOfConstructor) {
+    return callerOfConstructor
+        .getMethod()
+        .getReference()
+        .getDeclaringClass()
+        .getName()
+        .toString()
+        .equals(name.snd);
+  }
 }

pom.xml

@@ -28,7 +28,7 @@
     <maven.compiler.version>3.14.1</maven.compiler.version>
     <project.build.sourceEncoding>UTF-8</project.build.sourceEncoding>
     <build-alias>b000</build-alias>
-    <wala.version>1.6.11</wala.version>
+    <wala.version>1.6.12</wala.version>
     <spotless.version>3.0.0</spotless.version>
     <maven.surefire.version>3.5.4</maven.surefire.version>
     <parallel>both</parallel>
@@ -123,6 +123,11 @@
         <artifactId>guava</artifactId>
         <version>33.5.0-jre</version>
       </dependency>
+      <dependency>
+        <groupId>org.jetbrains</groupId>
+        <artifactId>annotations</artifactId>
+        <version>24.0.1</version>
+      </dependency>
     </dependencies>
   </dependencyManagement>
   <build>