Resolved requests

lisa-analyzer · May 17, 2024 · acba68f · acba68f
1 parent 4103bbe
commit acba68f
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 33 deletions.
diff --git a/.classpath b/.classpath
@@ -38,7 +38,7 @@
 			<attribute name="gradle_used_by_scope" value="main,test"/>
 		</attributes>
 	</classpathentry>
-	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-17/"/>
+	<classpathentry kind="con" path="org.eclipse.jdt.launching.JRE_CONTAINER/org.eclipse.jdt.internal.debug.ui.launcher.StandardVMType/JavaSE-11/"/>
 	<classpathentry kind="con" path="org.eclipse.buildship.core.gradleclasspathcontainer"/>
 	<classpathentry kind="output" path="bin/default"/>
 </classpath>
diff --git a/src/main/java/it/unipr/EVMLiSA.java b/src/main/java/it/unipr/EVMLiSA.java
@@ -296,8 +296,8 @@ private MyLogger newAnalysis(String CONTRACT_ADDR) throws Exception {
 
 			if (numberOfAPIEtherscanRequest % 5 == 0) {
 				try {
-					Thread.sleep(1001); // I can do max 5 API request in 1 sec
-										// to Etherscan.io
+					// I can do max 5 API request in 1 sec to Etherscan.io
+					Thread.sleep(1001);
 				} catch (InterruptedException e) {
 					e.printStackTrace();
 				}
@@ -338,7 +338,6 @@ private MyLogger newAnalysis(String CONTRACT_ADDR) throws Exception {
 	}
 
 	private void runBenchmark() throws Exception {
-		// clean();
 		startOfExecutionTime = System.currentTimeMillis();
 		Object guardia = new Object();
 
@@ -451,11 +450,7 @@ public void run() {
 			handler.start();
 
 			long timeToWait;
-//			int millisPerSmartContract = 25000 * 10;
-//			int extra = 120000;
-//			long blocks = smartContracts.size() / CORES * 20000;
-//			timeToWait = smartContracts.size() * millisPerSmartContract + extra + blocks;
-//			timeToWait = timeToWait * 100;
+
 			timeToWait = 1000 * 60 * 60 * 24 * 3; // 3 days
 
 			// Statistics
@@ -872,9 +867,8 @@ private void saveSmartContractsFromEtherscan() throws Exception {
 
 			if (i % 5 == 0) {
 				try {
-					Thread.sleep(1001); // I can do max 5 API
-										// request in 1 sec to
-										// Etherscan.io
+					// I can do max 5 API request in 1 sec to Etherscan.io
+					Thread.sleep(1001);
 				} catch (InterruptedException e) {
 					e.printStackTrace();
 				}

diff --git a/src/main/java/it/unipr/analysis/AbstractStack.java b/src/main/java/it/unipr/analysis/AbstractStack.java
@@ -97,23 +97,6 @@ else if (isTop())
 	@Override
 	public String toString() {
 		return this.stack.toString();
-		// We use the bottom part for debugging
-//		String result = "{";
-//
-//		for (int i = STACK_LIMIT - size(); i < STACK_LIMIT; i++) {
-//			if (stack.get(i).isBottom())
-//				result += Lattice.bottomRepresentation();
-//			else if (stack.get(i).isBottom())
-//				result += Lattice.topRepresentation();
-//			else
-//				result += stack.get(i);
-//
-//			if ((i + 1) != STACK_LIMIT)
-//				result += ", ";
-//		}
-//
-//		result += "}";
-//		return result;
 	}
 
 	@Override

diff --git a/src/main/java/it/unipr/analysis/EVMAbstractState.java b/src/main/java/it/unipr/analysis/EVMAbstractState.java
@@ -486,7 +486,6 @@ public EVMAbstractState smallStepSemantics(ValueExpression expression, ProgramPo
 						KIntegerSet opnd1 = resultStack.pop();
 						KIntegerSet opnd2 = resultStack.pop();
 
-//						resultStack.push(opnd2.equals(KIntegerSet.ZERO) && !opnd1.isTop() ? KIntegerSet.ZERO : opnd1.div(opnd2));
 						try {
 							resultStack.push(opnd1.div(opnd2));
 						} catch (ArithmeticException e) {
@@ -505,7 +504,6 @@ public EVMAbstractState smallStepSemantics(ValueExpression expression, ProgramPo
 						KIntegerSet opnd1 = resultStack.pop();
 						KIntegerSet opnd2 = resultStack.pop();
 
-//						resultStack.push(opnd2.equals(KIntegerSet.ZERO) && !opnd1.isTop() ? KIntegerSet.ZERO : opnd1.div(opnd2));
 						try {
 							resultStack.push(opnd1.div(opnd2));
 						} catch (ArithmeticException e) {

diff --git a/src/main/java/it/unipr/analysis/KIntegerSet.java b/src/main/java/it/unipr/analysis/KIntegerSet.java
@@ -191,8 +191,6 @@ else if (isTopNotJumpdest() || other.isTopNotJumpdest())
 				else
 					elements.add(i.divide(j));
 
-//					elements.add(i.divide(j, RoundingMode.FLOOR));
-
 		return new KIntegerSet(elements);
 	}
-Original file line number
+Diff line change
@@ Expand Up / @@ -191,8 +191,6 @@ else if (isTopNotJumpdest() || other.isTopNotJumpdest()) @@
     				else
     					elements.add(i.divide(j));
-    //					elements.add(i.divide(j, RoundingMode.FLOOR));
     		return new KIntegerSet(elements);
     	}
@@ Expand Down @@