Updated dataset path for Smartaxe benchmark

Author: merendamattia

src/test/java/it/unipr/analysis/cron/SmartaxeBenchmark.java

@@ -25,6 +25,7 @@ public class SmartaxeBenchmark {
 	public static void main(String[] args) {
 		EVMLiSA.setWorkingDirectory(workingDirectory);
 		EVMLiSA.setLinkUnsoundJumpsToAllJumpdest();
+		EVMLiSAExecutor.setCoresAvailable(Runtime.getRuntime().availableProcessors() - 1);
 
 		log.info("Cores available: {}", EVMLiSAExecutor.getCoresAvailable());
 
@@ -40,8 +41,7 @@ public static void main(String[] args) {
 
 	private void runBenchmark() {
 		workingDirectory = workingDirectory.resolve("manually-labeled");
-		Path datasetPath = Paths.get("scripts", "python", "benchmark-checkers", "cross-chain", "smartaxe",
-				"manually-labeled");
+		Path datasetPath = Paths.get("datasets", "cross-chain", "smartaxe", "manually-labeled");
 		Set<Bridge> bridges = new HashSet<>();
 
 		/* Initialize bridges */
@@ -50,10 +50,23 @@ private void runBenchmark() {
 				if (Files.isDirectory(dir)) {
 					Path bytecodeDirectoryPath = dir.resolve("bytecode");
 					Path abiDirectoryPath = dir.resolve("abi");
+					Path policyPath = dir.resolve("cross-chain-policy.json");
 					String name = dir.getFileName().toString();
 
+					if (name.equalsIgnoreCase("MeterPassPort20220206")
+							|| name.equalsIgnoreCase("pNetwork20210920"))
+						/*
+						 * Skip because there are no vulnerabilities in these
+						 * bridges
+						 */
+						continue;
+
+					if (name.equalsIgnoreCase("QANXBridge20220518"))
+						/* Skip because there are no events in this bridge */
+						continue;
+
 					EVMLiSA.setWorkingDirectory(workingDirectory.resolve(name));
-					bridges.add(new Bridge(bytecodeDirectoryPath, abiDirectoryPath, null, name));
+					bridges.add(new Bridge(bytecodeDirectoryPath, abiDirectoryPath, policyPath, name));
 				}
 			}
 		} catch (IOException e) {
@@ -86,10 +99,8 @@ private void runBenchmark() {
 						xEVMLiSA.getCrossChainEdgesUsingEventsAndFunctionsEntrypoint(bridge));
 			}));
 			for (SmartContract contract : bridge)
-				futures.add(
-						EVMLiSAExecutor
-								.submit(SmartaxeBenchmark.class,
-										() -> xEVMLiSA.computeVulnerablesLOGsForLocalDependencyChecker(contract)));
+				futures.add(EVMLiSAExecutor.submit(SmartaxeBenchmark.class,
+						() -> xEVMLiSA.computeVulnerablesLOGsForLocalDependencyChecker(contract)));
 		}
 		EVMLiSAExecutor.awaitCompletionFutures(futures, 12, TimeUnit.HOURS); // barrier