Removed old configuration from manager

Author: VincenzoArceri

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

@@ -15,7 +15,6 @@
 import it.unive.lisa.symbolic.SymbolicExpression;
 import it.unive.lisa.symbolic.value.Constant;
 import it.unive.lisa.symbolic.value.Identifier;
-import it.unive.lisa.symbolic.value.Skip;
 import it.unive.lisa.symbolic.value.UnaryExpression;
 import it.unive.lisa.symbolic.value.ValueExpression;
 import it.unive.lisa.symbolic.value.operator.unary.LogicalNegation;
@@ -1117,7 +1116,7 @@ public EVMAbstractState smallStepSemantics(ValueExpression expression, ProgramPo
 									if (valueCached == null) {
 										long start = System.currentTimeMillis();
 										valueToPush = getStorageAt(key.getNumber(), CONTRACT_ADDRESS); // API
-																										// request
+										// request
 										long timeLostToGetStorage = System.currentTimeMillis() - start;
 
 										MyCache.getInstance().updateTimeLostToGetStorage(CONTRACT_ADDRESS,
@@ -1882,10 +1881,7 @@ public EVMAbstractState smallStepSemantics(ValueExpression expression, ProgramPo
 			}
 		}
 
-		if (!(expression instanceof Skip))
-			throw new SemanticException("Reachable just with the skip node");
-
-		return top();
+		throw new SemanticException("Unrecognized opcode: " + pp);
 	}
 
 	/**

src/main/java/it/unipr/utils/LiSAConfigurationManager.java

@@ -32,35 +32,9 @@ public static LiSAConfiguration createConfiguration(SmartContract contract) {
 		conf.serializeResults = false;
 		conf.optimize = false;
 		conf.useWideningPoints = false;
-		conf.analysisGraphs = LiSAConfiguration.GraphType.HTML;
+		// conf.analysisGraphs = LiSAConfiguration.GraphType.HTML;
 		conf.jsonOutput = true;
 
 		return conf;
 	}
-
-	/**
-	 * Creates a LiSA configuration for analyzing the given smart contract
-	 * optimized for the web application (i.e., it does not produce any output
-	 * file).
-	 *
-	 * @param contract The smart contract to be analyzed.
-	 *
-	 * @return A configured instance of {@link LiSAConfiguration}.
-	 */
-	public static LiSAConfiguration createConfigurationForWebApp(SmartContract contract) {
-		String address = EthereumUtils.isValidEVMAddress(contract.getAddress()) ? contract.getAddress() : null;
-
-		LiSAConfiguration conf = new LiSAConfiguration();
-		conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(),
-				new EVMAbstractState(address),
-				new TypeEnvironment<>(new InferredTypes()));
-		conf.workdir = contract.getWorkingDirectory().toString();
-		conf.interproceduralAnalysis = new ModularWorstCaseAnalysis<>();
-		conf.callGraph = new RTACallGraph();
-		conf.serializeResults = false;
-		conf.optimize = false;
-		conf.useWideningPoints = false;
-
-		return conf;
-	}
 }