Merge branch 'master' into 267-initial-tensor-dimensions-arent-always-accurate

khatchad · khatchad · commit d84b52a359fe · 2025-09-12T12:46:48.000-04:00
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/cfg/PythonInducedCFG.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/cfg/PythonInducedCFG.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.cfg;
 
 import com.ibm.wala.cast.ir.cfg.AstInducedCFG;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonClassMethodTrampolineTargetSelector.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonClassMethodTrampolineTargetSelector.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.callgraph;
 
 import static com.ibm.wala.cast.python.types.Util.getGlobalName;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonConstructorTargetSelector.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonConstructorTargetSelector.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.callgraph;
 
 import static com.ibm.wala.cast.python.types.Util.getGlobalName;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonInstanceMethodTrampolineTargetSelector.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonInstanceMethodTrampolineTargetSelector.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.callgraph;
 
 import static com.ibm.wala.cast.python.types.PythonTypes.STATIC_METHOD;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonSSAPropagationCallGraphBuilder.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/callgraph/PythonSSAPropagationCallGraphBuilder.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.callgraph;
 
 import static com.ibm.wala.cast.python.util.Util.IMPORT_WILDCARD_CHARACTER;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/BuiltinFunctions.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/BuiltinFunctions.java
@@ -38,7 +38,7 @@ public BuiltinFunctions(IClassHierarchy cha) {
 
   private static IMethod typeSummary(IClass cls, String name, TypeReference type) {
     PythonSummary S = typeSummary(cls, builtinFunction(name), type);
-    return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);
+    return new PythonSummarizedFunction(S.getMethod(), S, cls);
   }
 
   private static PythonSummary typeSummary(
@@ -55,7 +55,7 @@ private static PythonSummary typeSummary(
 
   private static IMethod argSummary(IClass cls, String name, int arg) {
     PythonSummary S = argSummary(cls, builtinFunction(name), arg);
-    return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);
+    return new PythonSummarizedFunction(S.getMethod(), S, cls);
   }
 
   private static PythonSummary argSummary(IClass cls, TypeReference type, int arg) {
@@ -70,7 +70,7 @@ private static PythonSummary argSummary(IClass cls, TypeReference type, int arg)
 
   private static IMethod noopSummary(IClass cls, String name) {
     PythonSummary S = noopSummary(cls, builtinFunction(name));
-    return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);
+    return new PythonSummarizedFunction(S.getMethod(), S, cls);
   }
 
   private static PythonSummary noopSummary(IClass cls, TypeReference type) {
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonInstanceMethodTrampoline.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonInstanceMethodTrampoline.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.summaries;
 
 import com.ibm.wala.cast.python.types.PythonTypes;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSummarizedFunction.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSummarizedFunction.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.summaries;
 
 import com.ibm.wala.cast.python.cfg.PythonInducedCFG;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSummary.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSummary.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2002 - 2006 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.summaries;
 
 import com.ibm.wala.cast.python.types.PythonTypes;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSyntheticClass.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ipa/summaries/PythonSyntheticClass.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ipa.summaries;
 
 import com.ibm.wala.cast.python.types.PythonTypes;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonCAstToIRTranslator.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonCAstToIRTranslator.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ir;
 
 import static com.google.common.io.Files.getNameWithoutExtension;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonLanguage.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ir/PythonLanguage.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ir;
 
 import com.ibm.wala.analysis.typeInference.PrimitiveType;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/loader/PythonLoaderFactory.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/loader/PythonLoaderFactory.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.loader;
 
 import com.ibm.wala.cast.loader.SingleClassLoaderFactory;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonInstructionVisitor.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonInstructionVisitor.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ssa;
 
 import com.ibm.wala.cast.ir.ssa.AstInstructionVisitor;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonInvokeInstruction.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonInvokeInstruction.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ssa;
 
 import com.ibm.wala.cast.python.types.PythonTypes;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonPropertyRead.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonPropertyRead.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2002 - 2006 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ssa;
 
 import com.ibm.wala.cast.ir.ssa.AstPropertyRead;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonPropertyWrite.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/ssa/PythonPropertyWrite.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2002 - 2006 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.ssa;
 
 import com.ibm.wala.cast.ir.ssa.AstPropertyWrite;
diff --git a/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/types/PythonTypes.java b/com.ibm.wala.cast.python/source/com/ibm/wala/cast/python/types/PythonTypes.java
@@ -1,4 +1,4 @@
-/******************************************************************************
+/*
  * Copyright (c) 2018 IBM Corporation.
  * All rights reserved. This program and the accompanying materials
  * are made available under the terms of the Eclipse Public License v1.0
@@ -7,7 +7,7 @@
  *
  * Contributors:
  *     IBM Corporation - initial API and implementation
- *****************************************************************************/
+ */
 package com.ibm.wala.cast.python.types;
 
 import static com.ibm.wala.cast.python.util.Util.CLASS_METHOD_ANNOTATION_NAME;

Original file line number	Diff line number	Diff line change
`@@ -38,7 +38,7 @@ public BuiltinFunctions(IClassHierarchy cha) {`
`38`	`38`
`39`	`39`	`private static IMethod typeSummary(IClass cls, String name, TypeReference type) {`
`40`	`40`	`PythonSummary S = typeSummary(cls, builtinFunction(name), type);`
`41`		`- return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);`
	`41`	`+ return new PythonSummarizedFunction(S.getMethod(), S, cls);`
`42`	`42`	`}`
`43`	`43`
`44`	`44`	`private static PythonSummary typeSummary(`
`@@ -55,7 +55,7 @@ private static PythonSummary typeSummary(`
`55`	`55`
`56`	`56`	`private static IMethod argSummary(IClass cls, String name, int arg) {`
`57`	`57`	`PythonSummary S = argSummary(cls, builtinFunction(name), arg);`
`58`		`- return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);`
	`58`	`+ return new PythonSummarizedFunction(S.getMethod(), S, cls);`
`59`	`59`	`}`
`60`	`60`
`61`	`61`	`private static PythonSummary argSummary(IClass cls, TypeReference type, int arg) {`
`@@ -70,7 +70,7 @@ private static PythonSummary argSummary(IClass cls, TypeReference type, int arg)`
`70`	`70`
`71`	`71`	`private static IMethod noopSummary(IClass cls, String name) {`
`72`	`72`	`PythonSummary S = noopSummary(cls, builtinFunction(name));`
`73`		`- return new PythonSummarizedFunction((MethodReference) S.getMethod(), S, cls);`
	`73`	`+ return new PythonSummarizedFunction(S.getMethod(), S, cls);`
`74`	`74`	`}`
`75`	`75`
`76`	`76`	`private static PythonSummary noopSummary(IClass cls, TypeReference type) {`