Refactored event-function matching logic to use defaultPolicy method.

Author: merendamattia

src/main/java/it/unipr/crosschain/xEVMLiSA.java

@@ -96,12 +96,8 @@ public static Set<Edge> getCrossChainEdgesUsingEventsAndFunctionsEntrypoint(Brid
 
 		for (Signature event : bridge.getEvents()) {
 			for (Signature function : bridge.getFunctions()) {
-				/*
-				 * We may perform additional checks (e.g., parameter types,
-				 * parameter count, etc.) to link an event to a function, as
-				 * currently we are only linking them based on matching names.
-				 */
-				if (event.getName().equalsIgnoreCase(function.getName())) {
+
+				if (xEVMLiSA.defaultPolicy(event, function)) {
 					functionsUsed.add(function.getFullSignature());
 					eventUsed.add(event.getFullSignature());
 
@@ -134,6 +130,19 @@ public static Set<Edge> getCrossChainEdgesUsingEventsAndFunctionsEntrypoint(Brid
 		return crossChainEdges;
 	}
 
+	/**
+	 * Checks if the default policy is to match events and functions by name.
+	 *
+	 * @param event    The event signature to compare with the function's name.
+	 * @param function The function signature whose name will be compared with
+	 *                     the event's name.
+	 * 
+	 * @return True if the names match, false otherwise.
+	 */
+	public static boolean defaultPolicy(Signature event, Signature function) {
+		return event.getName().equalsIgnoreCase(function.getName());
+	}
+
 	/**
 	 * Gets cross-chain edges by linking emitting blocks to information blocks
 	 * in different contracts (SmartAxe solution).