Updates for call argument expr and fully qualified parameter types in method signatures

Signed-off-by: Saurabh Sinha <[email protected]>

Author: sinha108

cldk/analysis/java/codeanalyzer/codeanalyzer.py

@@ -729,20 +729,21 @@ def __raw_call_graph_using_symbol_table_target_method(self, target_class_name: s
                     source_class = ""
                     callee_signature = ""
                     if call_site.callee_signature != "":
-                        pattern = r"\b(?:[a-zA-Z_][\w\.]*\.)+([a-zA-Z_][\w]*)\b|<[^>]*>"
-
-                        # Find the part within the parentheses
-                        start = call_site.callee_signature.find("(") + 1
-                        end = call_site.callee_signature.rfind(")")
-
-                        # Extract the elements inside the parentheses
-                        elements = call_site.callee_signature[start:end].split(",")
-
-                        # Apply the regex to each element
-                        simplified_elements = [re.sub(pattern, r"\1", element.strip()) for element in elements]
-
-                        # Reconstruct the string with simplified elements
-                        callee_signature = f"{call_site.callee_signature[:start]}{', '.join(simplified_elements)}{call_site.callee_signature[end:]}"
+                        # pattern = r"\b(?:[a-zA-Z_][\w\.]*\.)+([a-zA-Z_][\w]*)\b|<[^>]*>"
+                        #
+                        # # Find the part within the parentheses
+                        # start = call_site.callee_signature.find("(") + 1
+                        # end = call_site.callee_signature.rfind(")")
+                        #
+                        # # Extract the elements inside the parentheses
+                        # elements = call_site.callee_signature[start:end].split(",")
+                        #
+                        # # Apply the regex to each element
+                        # simplified_elements = [re.sub(pattern, r"\1", element.strip()) for element in elements]
+                        #
+                        # # Reconstruct the string with simplified elements
+                        # callee_signature = f"{call_site.callee_signature[:start]}{', '.join(simplified_elements)}{call_site.callee_signature[end:]}"
+                        callee_signature = call_site.callee_signature
 
                     if call_site.receiver_type != "":
                         # call to any class
@@ -796,20 +797,21 @@ def __raw_call_graph_using_symbol_table(self, qualified_class_name: str, method_
                 # Currently the callee signature returns the fully qualified type, whereas
                 # the key for JCallable does not. The below logic converts the fully qualified signature
                 # to the desider format. Only limitation is the nested generic type.
-                pattern = r"\b(?:[a-zA-Z_][\w\.]*\.)+([a-zA-Z_][\w]*)\b|<[^>]*>"
-
-                # Find the part within the parentheses
-                start = call_site.callee_signature.find("(") + 1
-                end = call_site.callee_signature.rfind(")")
-
-                # Extract the elements inside the parentheses
-                elements = call_site.callee_signature[start:end].split(",")
-
-                # Apply the regex to each element
-                simplified_elements = [re.sub(pattern, r"\1", element.strip()) for element in elements]
-
-                # Reconstruct the string with simplified elements
-                callee_signature = f"{call_site.callee_signature[:start]}{', '.join(simplified_elements)}{call_site.callee_signature[end:]}"
+                # pattern = r"\b(?:[a-zA-Z_][\w\.]*\.)+([a-zA-Z_][\w]*)\b|<[^>]*>"
+                #
+                # # Find the part within the parentheses
+                # start = call_site.callee_signature.find("(") + 1
+                # end = call_site.callee_signature.rfind(")")
+                #
+                # # Extract the elements inside the parentheses
+                # elements = call_site.callee_signature[start:end].split(",")
+                #
+                # # Apply the regex to each element
+                # simplified_elements = [re.sub(pattern, r"\1", element.strip()) for element in elements]
+                #
+                # # Reconstruct the string with simplified elements
+                # callee_signature = f"{call_site.callee_signature[:start]}{', '.join(simplified_elements)}{call_site.callee_signature[end:]}"
+                callee_signature = call_site.callee_signature
 
             if call_site.receiver_type != "":
                 # call to any class

cldk/analysis/java/codeanalyzer/jar/codeanalyzer-2.3.4.jar renamed to cldk/analysis/java/codeanalyzer/jar/codeanalyzer-2.3.5.jar

@@ -158,6 +158,7 @@ class JCallSite(BaseModel):
         receiver_expr (str): Expression for the receiver of the method call.
         receiver_type (str): Name of type declaring the called method.
         argument_types (List[str]): Types of actual parameters for the call.
+        argument_expr (List[str]): Actual parameter expressions for the call.
         return_type (str): Return type of the method call (resolved type of the method call expression; empty string if expression is unresolved).
         callee_signature (str): Signature of the callee.
         is_static_call (bool): Flag indicating whether the call is a static call.
@@ -179,6 +180,7 @@ class JCallSite(BaseModel):
     receiver_expr: str = ""
     receiver_type: str
     argument_types: List[str]
+    argument_expr: List[str]
     return_type: str = ""
     callee_signature: str = ""
     is_static_call: bool | None = None

cldk/models/java/models.py

@@ -370,7 +370,7 @@ def test_get_callers(test_fixture, analysis_json):
         )
 
         # Test using call graph
-        callers = java_analysis.get_callers("com.ibm.websphere.samples.daytrader.util.Log", "log(String)", False)
+        callers = java_analysis.get_callers("com.ibm.websphere.samples.daytrader.util.Log", "log(java.lang.String)", False)
         assert callers is not None
         assert isinstance(callers, Dict)
         assert "caller_details" in callers
@@ -383,7 +383,7 @@ def test_get_callers(test_fixture, analysis_json):
         # Uncomment this next test section when fixed
 
         # Test using symbol table
-        callers = java_analysis.get_callers("com.ibm.websphere.samples.daytrader.util.Log", "log(String)", True)
+        callers = java_analysis.get_callers("com.ibm.websphere.samples.daytrader.util.Log", "log(java.lang.String)", True)
         assert callers is not None
         assert isinstance(callers, Dict)
         assert "caller_details" in callers
@@ -415,14 +415,14 @@ def test_get_callees(test_fixture, analysis_json):
         )
 
         # Test with a class that has no callees
-        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.util.Log", "log(String)", False)
+        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.util.Log", "log(java.lang.String)", False)
         assert callees is not None
         assert isinstance(callees, Dict)
         assert "callee_details" in callees
         assert len(callees["callee_details"]) == 0
 
         # Test with a class that has callees
-        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.web.websocket.ActionMessage", "doDecoding(String)", False)
+        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.web.websocket.ActionMessage", "doDecoding(java.lang.String)", False)
         assert callees is not None
         assert isinstance(callees, Dict)
         assert "callee_details" in callees
@@ -435,7 +435,7 @@ def test_get_callees(test_fixture, analysis_json):
         # Uncomment this next test section when fixed
 
         # # Test using symbol table
-        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.web.websocket.ActionMessage", "doDecoding(String)", True)
+        callees = java_analysis.get_callees("com.ibm.websphere.samples.daytrader.web.websocket.ActionMessage", "doDecoding(java.lang.String)", True)
         assert callees is not None
         assert isinstance(callees, Dict)
         assert "callee_details" in callees
@@ -572,7 +572,7 @@ def test_get_method(test_fixture, analysis_json):
             eager_analysis=False,
         )
 
-        the_method = java_analysis.get_method("com.ibm.websphere.samples.daytrader.util.Log", "trace(String)")
+        the_method = java_analysis.get_method("com.ibm.websphere.samples.daytrader.util.Log", "trace(java.lang.String)")
         assert the_method is not None
         assert isinstance(the_method, JCallable)
         assert the_method.declaration == "public static void trace(String message)"
@@ -594,7 +594,7 @@ def test_get_method_parameters(test_fixture, analysis_json):
             eager_analysis=False,
         )
 
-        the_method_parameters = java_analysis.get_method_parameters("com.ibm.websphere.samples.daytrader.util.Log", "trace(String)")
+        the_method_parameters = java_analysis.get_method_parameters("com.ibm.websphere.samples.daytrader.util.Log", "trace(java.lang.String)")
         assert the_method_parameters is not None
         assert isinstance(the_method_parameters, List)
         assert len(the_method_parameters) == 1