spotless

Author: merendamattia

src/main/java/it/unipr/analysis/taint/TimestampDependencyAbstractDomain.java

@@ -0,0 +1,60 @@
+package it.unipr.analysis.taint;
+
+import it.unipr.analysis.operator.BalanceOperator;
+import it.unipr.analysis.operator.BlockhashOperator;
+import it.unipr.analysis.operator.DifficultyOperator;
+import it.unipr.analysis.operator.TimestampOperator;
+import it.unive.lisa.symbolic.value.Operator;
+import java.util.ArrayList;
+import java.util.Collections;
+import java.util.HashSet;
+import java.util.Set;
+
+public class TimestampDependencyAbstractDomain extends TaintAbstractDomain {
+	private static final TimestampDependencyAbstractDomain TOP = new TimestampDependencyAbstractDomain(
+			new ArrayList<>(Collections.nCopies(TaintAbstractDomain.STACK_LIMIT, TaintElement.BOTTOM)));
+	private static final TimestampDependencyAbstractDomain BOTTOM = new TimestampDependencyAbstractDomain(null);
+
+	/**
+	 * Builds an initial symbolic stack.
+	 */
+	public TimestampDependencyAbstractDomain() {
+		this(new ArrayList<>(Collections.nCopies(STACK_LIMIT, TaintElement.BOTTOM)));
+	}
+
+	/**
+	 * Builds a taint abstract stack starting from a given stack and a list of
+	 * elements that push taint.
+	 *
+	 * @param stack the stack of values
+	 */
+	protected TimestampDependencyAbstractDomain(ArrayList<TaintElement> stack) {
+		super(stack);
+	}
+
+	@Override
+	public Set<Operator> getTaintedOpcode() {
+		Set<Operator> taintedOpcode = new HashSet<>();
+		taintedOpcode.add(TimestampOperator.INSTANCE);
+		taintedOpcode.add(BlockhashOperator.INSTANCE);
+		taintedOpcode.add(DifficultyOperator.INSTANCE);
+		taintedOpcode.add(BalanceOperator.INSTANCE);
+		return taintedOpcode;
+	}
+
+	@Override
+	public TimestampDependencyAbstractDomain top() {
+		return TOP;
+	}
+
+	@Override
+	public TimestampDependencyAbstractDomain bottom() {
+		return BOTTOM;
+	}
+
+	@Override
+	public TaintAbstractDomain mk(ArrayList<TaintElement> list) {
+		return new TimestampDependencyAbstractDomain(list);
+	}
+
+}

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

@@ -62,109 +62,109 @@ private static CronConfiguration createConfiguration(String testDir, String subD
 
 	@Test
 	public void testTaint01() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example", "example.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example", "example.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint02() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example02", "example02.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example02", "example02.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint03() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example03", "example03.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example03", "example03.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint04() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example04", "example04.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example04", "example04.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint05() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example05", "example05.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example05", "example05.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint06() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example06", "example06.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example06", "example06.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint07() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example07", "example07.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example07", "example07.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint08() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example08", "example08.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example08", "example08.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint09() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example09", "example09.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example09", "example09.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint10() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example10", "example10.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example10", "example10.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint11() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example11", "example11.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example11", "example11.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint12() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example12", "example12.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example12", "example12.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint13() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example13", "example13.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example13", "example13.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint14() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example14", "example14.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example14", "example14.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint15() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example15", "example15.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example15", "example15.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint16() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example16", "example16.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example16", "example16.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint17() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example17", "example17.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example17", "example17.sol", false);
 		perform(conf);
 	}
 
 	@Test
 	public void testTaint18() throws AnalysisSetupException, IOException {
-		CronConfiguration conf = createConfiguration("taint", "example18", "example18.sol", false);
+		CronConfiguration conf = createConfiguration("taint/testTxOrigin", "example18", "example18.sol", false);
 		perform(conf);
 	}
 }