Added reference for timestampDependency checker

Author: shivamkumar2402

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

@@ -1,10 +1,12 @@
 package it.unipr;
 
 import it.unipr.analysis.*;
+import it.unipr.analysis.taint.TimestampDependencyAbstractDomain;
 import it.unipr.analysis.taint.TxOriginAbstractDomain;
 import it.unipr.cfg.*;
 import it.unipr.checker.JumpSolver;
 import it.unipr.checker.ReentrancyChecker;
+import it.unipr.checker.TimestampDependencyChecker;
 import it.unipr.checker.TxOriginChecker;
 import it.unipr.frontend.EVMFrontend;
 import it.unive.lisa.LiSA;
@@ -72,6 +74,7 @@ public class EVMLiSA {
 	private static final boolean REGENERATE = false;
 	private static boolean ENABLE_REENTRANCY_CHECKER = false;
 	private static boolean ENABLE_TXORIGIN_CHECKER = false;
+	private static boolean ENABLE_TIMESTAMPDEPENDENCY_CHECKER = false;
 
 	/**
 	 * Generates a control flow graph (represented as a LiSA {@code Program})
@@ -201,6 +204,7 @@ private void setupGlobalOptions(CommandLine cmd) {
 
 		ENABLE_REENTRANCY_CHECKER = cmd.hasOption("checker-reentrancy");
 		ENABLE_TXORIGIN_CHECKER = cmd.hasOption("checker-txorigin");
+		ENABLE_TIMESTAMPDEPENDENCY_CHECKER = cmd.hasOption("checker-timestampdependency");
 
 		try {
 			if (cmd.hasOption("stack-size"))
@@ -544,6 +548,19 @@ void checkers(LiSAConfiguration conf, LiSA lisa, Program program, JumpSolver che
 			jsonOptions.put("tx-origin-warning",
 					MyCache.getInstance().getTxOriginWarnings(checker.getComputedCFG().hashCode()));
 		}
+
+		if (ENABLE_TIMESTAMPDEPENDENCY_CHECKER) {
+			// Clear existing checks and add the TimestampdependencyChecker
+			conf.semanticChecks.clear();
+			conf.semanticChecks.add(new TimestampDependencyChecker());
+			conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(), new TimestampDependencyAbstractDomain(),
+					new TypeEnvironment<>(new InferredTypes()));
+			lisa.run(program);
+
+			// Store timestamp-dependency warnings in the JSON options
+			jsonOptions.put("timestamp-dependency-warning",
+					MyCache.getInstance().getTimestampDependencyWarnings(checker.getComputedCFG().hashCode()));
+		}
 	}
 
 	/**
@@ -1143,6 +1160,13 @@ private Options getOptions() {
 				.hasArg(false)
 				.build();
 
+		Option enableTimestampDependencyCheckerOption = Option.builder()
+				.longOpt("checker-timestampdependency")
+				.desc("Enable timestamp-dependency checker.")
+				.required(false)
+				.hasArg(false)
+				.build();
+
 		options.addOption(addressOption);
 		options.addOption(outputOption);
 		options.addOption(filePathOption);
@@ -1163,6 +1187,8 @@ private Options getOptions() {
 		options.addOption(dumpDotOption);
 		options.addOption(enableReentrancyCheckerOption);
 		options.addOption(enableTxOriginCheckerOption);
+		options.addOption(enableTimestampDependencyCheckerOption);
+
 
 		return options;
 	}

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

@@ -18,6 +18,7 @@ public class MyCache {
 	private final LRUMap<String, Long> _timeLostToGetStorage;
 	private final LRUMap<Integer, Set<Object>> _reentrancyWarnings;
 	private final LRUMap<Integer, Set<Object>> _txOriginWarnings;
+	private final LRUMap<Integer, Set<Object>> _timestampDependencyWarnings;
 	private final LRUMap<Integer, Boolean> _reachableFrom;
 
 	/**
@@ -44,6 +45,7 @@ private MyCache() {
 		this._timeLostToGetStorage = new LRUMap<String, Long>(500);
 		this._reentrancyWarnings = new LRUMap<Integer, Set<Object>>(1000);
 		this._txOriginWarnings = new LRUMap<Integer, Set<Object>>(1000);
+		this._timestampDependencyWarnings = new LRUMap<Integer, Set<Object>>(1000);
 		this._reachableFrom = new LRUMap<Integer, Boolean>(2000);
 	}
 
@@ -225,4 +227,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;
+		}
+	}
 }