Removed possible event order warning logging

merendamattia · merendamattia · commit 658c9f0814bc · 2025-10-14T18:25:29.000+02:00
diff --git a/src/main/java/it/unipr/crosschain/xEVMLiSA.java b/src/main/java/it/unipr/crosschain/xEVMLiSA.java
@@ -444,10 +444,9 @@ public static void runEventOrderChecker(SmartContract contract, CustomPolicy pol
 			}
 		}
 
-		log.info("[OUT] Event order checker ended on {}, with {} definite and {} possible vulnerabilities found.",
+		log.info("[OUT] Event order checker ended on {}, with {} warnings found.",
 				contract.getName(),
-				MyCache.getInstance().getEventOrderWarnings(contract.getCFG().hashCode()),
-				MyCache.getInstance().getPossibleEventOrderWarnings(contract.getCFG().hashCode()));
+				MyCache.getInstance().getEventOrderWarnings(contract.getCFG().hashCode()));
 	}
 
 	/**

Original file line number	Diff line number	Diff line change
`@@ -444,10 +444,9 @@ public static void runEventOrderChecker(SmartContract contract, CustomPolicy pol`
`444`	`444`	`}`
`445`	`445`	`}`
`446`	`446`
`447`		`- log.info("[OUT] Event order checker ended on {}, with {} definite and {} possible vulnerabilities found.",`
	`447`	`+ log.info("[OUT] Event order checker ended on {}, with {} warnings found.",`
`448`	`448`	`contract.getName(),`
`449`		`- MyCache.getInstance().getEventOrderWarnings(contract.getCFG().hashCode()),`
`450`		`- MyCache.getInstance().getPossibleEventOrderWarnings(contract.getCFG().hashCode()));`
	`449`	`+ MyCache.getInstance().getEventOrderWarnings(contract.getCFG().hashCode()));`
`451`	`450`	`}`
`452`	`451`
`453`	`452`	`/**`