Renaming taint abstract semantics test to tx origin abstract semantics

test

Author: VincenzoArceri

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

@@ -1,5 +1,9 @@
 package it.unipr.analysis.cron;
 
+import java.io.IOException;
+
+import org.junit.Test;
+
 import it.unipr.analysis.EVMAbstractState;
 import it.unipr.checker.JumpSolver;
 import it.unive.lisa.AnalysisSetupException;
@@ -10,8 +14,6 @@
 import it.unive.lisa.conf.LiSAConfiguration.GraphType;
 import it.unive.lisa.interprocedural.ModularWorstCaseAnalysis;
 import it.unive.lisa.interprocedural.callgraph.RTACallGraph;
-import java.io.IOException;
-import org.junit.Test;
 
 /**
  * JUnit tests for the various control flow structures of the EVM bytecode, such

…ysis/cron/EVMTaintAbstractSemantics.java …on/EVMTxOriginAbstractSemanticsTest.javasrc/test/java/it/unipr/analysis/cron/EVMTaintAbstractSemantics.java renamed to src/test/java/it/unipr/analysis/cron/EVMTxOriginAbstractSemanticsTest.java src/test/java/it/unipr/analysis/cron/EVMTaintAbstractSemantics.java renamed to src/test/java/it/unipr/analysis/cron/EVMTxOriginAbstractSemanticsTest.java

@@ -1,5 +1,9 @@
 package it.unipr.analysis.cron;
 
+import java.io.IOException;
+
+import org.junit.Test;
+
 import it.unipr.analysis.taint.TaintAbstractDomain;
 import it.unipr.analysis.taint.TxOriginAbstractDomain;
 import it.unive.lisa.AnalysisSetupException;
@@ -10,19 +14,15 @@
 import it.unive.lisa.conf.LiSAConfiguration.GraphType;
 import it.unive.lisa.interprocedural.ModularWorstCaseAnalysis;
 import it.unive.lisa.interprocedural.callgraph.RTACallGraph;
-import java.io.IOException;
-import org.junit.Test;
 
 /**
  * JUnit tests for the various control flow structures of the EVM bytecode, such
  * as if, if-else, while, etc. Operations with orphan jumps, marked as NPBJ (No
  * Push Before Jump), are also tested in specific test cases.
  */
-public class EVMTaintAbstractSemantics extends EVMBytecodeAnalysisExecutor {
+public class EVMTxOriginAbstractSemanticsTest extends EVMBytecodeAnalysisExecutor {
 	private static final boolean GENERATE_CFG_FOR_ALL_TESTS = false;
 
-	private static final String FAKE_ADDRESS = "0x000000000000000";
-
 	/**
 	 * Helper method to create a {@link CronConfiguration} object for the test
 	 * cases.