Removed Access Control Incompleteness checker method and its invocations from xEVMLiSA class

Author: merendamattia

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

@@ -252,8 +252,6 @@ public static void runCrossChainCheckers(Bridge bridge) {
 							() -> runUncheckedExternalInfluenceChecker(bridge, contract)));
 			futures.add(
 					EVMLiSAExecutor.submit(xEVMLiSA.class, () -> runMissingEventNotificationChecker(contract)));
-			futures.add(
-					EVMLiSAExecutor.submit(xEVMLiSA.class, () -> runAccessControlIncompleteness(bridge, contract)));
 		}
 		futures.add(
 				EVMLiSAExecutor.submit(xEVMLiSA.class, () -> runLocalDependencyCheckers(bridge)));
@@ -343,27 +341,6 @@ public static void runUncheckedExternalInfluenceChecker(Bridge bridge, SmartCont
 				MyCache.getInstance().getPossibleUncheckedExternalInfluenceWarnings(contract.getCFG().hashCode()));
 	}
 
-	public static void runAccessControlIncompleteness(Bridge bridge, SmartContract contract) {
-		log.info("[IN] Running Access Control Incompleteness checker on {}.", contract.getName());
-
-		// Setup configuration
-		Program program = new Program(new EVMLiSAFeatures(), new EVMLiSATypeSystem());
-		program.addCodeMember(contract.getCFG());
-		LiSAConfiguration conf = LiSAConfigurationManager.createConfiguration(contract);
-		LiSA lisa = new LiSA(conf);
-
-		AccessControlIncompletenessChecker checker = new AccessControlIncompletenessChecker();
-		conf.semanticChecks.add(checker);
-		conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(),
-				new AccessControlIncompletenessAbstractDomain(),
-				new TypeEnvironment<>(new InferredTypes()));
-		lisa.run(program);
-
-		log.info("[OUT] Access Control Incompleteness checker ended on {}, with {} vulnerabilities found.",
-				contract.getName(),
-				MyCache.getInstance().getUncheckedExternalCallWarnings(contract.getCFG().hashCode()));
-	}
-
 	/**
 	 * Runs the Unchecked External Call Checker on a single contract. This
 	 * configures and invokes LiSA with the UncheckedExternalCallChecker to