Minor

Author: merendamattia

src/main/java/it/unipr/EVMLiSA.java

@@ -615,7 +615,7 @@ public void run() {
 
 			executor.shutdown();
 			try {
-				if (!executor.awaitTermination(1, TimeUnit.HOURS)) {
+				if (!executor.awaitTermination(5, TimeUnit.HOURS)) {
 					executor.shutdownNow();
 					log.error("Timeout while waiting for tasks to complete");
 				}

src/main/java/it/unipr/analysis/EVMAbstractState.java

@@ -2402,9 +2402,11 @@ public StackElement getStorageAt(Number key, String address) {
 			BigInteger toHex = Number.toBigInteger(key);
 			String hexString = "0x" + toHex.toString(16);
 
-			Thread.sleep(1000);
-
-			String getStorageAtRequest = EVMFrontend.etherscanRequest("proxy", "eth_getStorageAt", hexString, address);
+			String getStorageAtRequest;
+			synchronized (MyCache.getInstance()) {
+				Thread.sleep(500);
+				getStorageAtRequest = EVMFrontend.etherscanRequest("proxy", "eth_getStorageAt", hexString, address);
+			}
 
 			if (getStorageAtRequest == null || getStorageAtRequest.isEmpty()) {
 				System.err.println("ERROR: couldn't download contract's storage.");