SpotlessApply

Author: merendamattia

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

@@ -1282,6 +1282,8 @@ private Options getOptions() {
 				.desc("Path of the folder containing the bytecodes of the cross chain smart contracts")
 				.required(false)
 				.hasArg(true)
+				.build();
+
 		Option enableTimestampDependencyCheckerOption = Option.builder()
 				.longOpt("checker-timestampdependency")
 				.desc("Enable timestamp-dependency checker.")

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

@@ -25,6 +25,7 @@ public class MyCache {
 	private final LRUMap<Integer, Set<Object>> _eventOrderWarnings;
 	private final LRUMap<Integer, Set<Object>> _uncheckedStateUpdateWarnings;
 	private final LRUMap<Integer, Set<Object>> _uncheckedExternalInfluenceWarnings;
+	private final LRUMap<Integer, Set<Object>> _timestampDependencyWarnings;
 	public final LRUMap<Statement, Set<String>> _eventsExitPoints;
 
 	/**
@@ -55,6 +56,7 @@ private MyCache() {
 		this._uncheckedStateUpdateWarnings = new LRUMap<Integer, Set<Object>>(1000);
 		this._uncheckedExternalInfluenceWarnings = new LRUMap<Integer, Set<Object>>(1000);
 		this._eventsExitPoints = new LRUMap<Statement, Set<String>>(2000);
+		this._timestampDependencyWarnings = new LRUMap<Integer, Set<Object>>(1000);
 	}
 
 	/**
@@ -387,4 +389,38 @@ public int getTxOriginWarnings(Integer key) {
 			return (_txOriginWarnings.get(key) != null) ? _txOriginWarnings.get(key).size() : 0;
 		}
 	}
+
+	/**
+	 * Adds a timestamp dependency warning for the specified key. If no warnings
+	 * are associated with the key, a new set is created and the warning is
+	 * added to it. This method is thread-safe.
+	 *
+	 * @param key     the key identifying the smart contract or entity for which
+	 *                    the warning applies
+	 * @param warning the warning object to be added
+	 */
+	public void addTimestampDependencyWarning(Integer key, Object warning) {
+		synchronized (_timestampDependencyWarnings) {
+			_timestampDependencyWarnings
+					.computeIfAbsent(key, k -> Collections.synchronizedSet(new HashSet<>()))
+					.add(warning);
+		}
+	}
+
+	/**
+	 * Retrieves the number of timestamp dependency warnings associated with the
+	 * specified key. If no warnings are associated with the key, the method
+	 * returns 0. This method is thread-safe.
+	 *
+	 * @param key the key identifying the smart contract or entity whose
+	 *                warnings are to be retrieved
+	 *
+	 * @return the number of warnings associated with the key, or 0 if none
+	 *             exist
+	 */
+	public int getTimestampDependencyWarnings(Integer key) {
+		synchronized (_timestampDependencyWarnings) {
+			return (_timestampDependencyWarnings.get(key) != null) ? _timestampDependencyWarnings.get(key).size() : 0;
+		}
+	}
 }

src/test/java/it/unipr/analysis/cron/semantics/TimestampDependencyAbstractSemanticsTest.java

@@ -13,7 +13,7 @@
 import it.unive.lisa.interprocedural.ModularWorstCaseAnalysis;
 import it.unive.lisa.interprocedural.callgraph.RTACallGraph;
 import java.io.IOException;
-import org.junit.Ignore;
+import org.junit.Test;
 
 /**
  * JUnit tests for the various control flow structures of the EVM bytecode, such

src/test/java/it/unipr/analysis/cron/semantics/TxOriginAbstractSemanticsTest.java

@@ -13,7 +13,7 @@
 import it.unive.lisa.interprocedural.ModularWorstCaseAnalysis;
 import it.unive.lisa.interprocedural.callgraph.RTACallGraph;
 import java.io.IOException;
-import org.junit.Ignore;
+import org.junit.Test;
 
 /**
  * JUnit tests for the various control flow structures of the EVM bytecode, such