Apply spotless, code cleaning

Author: VincenzoArceri

src/main/java/it/unipr/checker/TimestampDependencyChecker.java

@@ -1,11 +1,5 @@
 package it.unipr.checker;
 
-import java.util.HashSet;
-import java.util.Set;
-
-import org.apache.logging.log4j.LogManager;
-import org.apache.logging.log4j.Logger;
-
 import it.unipr.analysis.MyCache;
 import it.unipr.analysis.taint.TaintAbstractDomain;
 import it.unipr.analysis.taint.TaintElement;
@@ -26,25 +20,29 @@
 import it.unive.lisa.checks.semantic.SemanticCheck;
 import it.unive.lisa.program.cfg.CFG;
 import it.unive.lisa.program.cfg.statement.Statement;
+import java.util.HashSet;
+import java.util.Set;
+import org.apache.logging.log4j.LogManager;
+import org.apache.logging.log4j.Logger;
 
 public class TimestampDependencyChecker implements
-SemanticCheck<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> {
+		SemanticCheck<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> {
 
 	private static final Logger log = LogManager.getLogger(ReentrancyChecker.class);
 
-
 	private final Set<Statement> sinks = new HashSet<>();
 
 	@Override
 	public void beforeExecution(
-			CheckToolWithAnalysisResults<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool) {
+			CheckToolWithAnalysisResults<
+					SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool) {
 
 	}
 
 	@Override
 	public boolean visit(
 			CheckToolWithAnalysisResults<
-			SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool,
+					SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool,
 			CFG graph, Statement node) {
 
 		EVMCFG cfg = ((EVMCFG) graph);
@@ -57,12 +55,11 @@ public boolean visit(
 			this.sinks.addAll(cfg.getAllJumpI());
 		}
 
-
 		if (sinks.contains(node))
 			for (AnalyzedCFG<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain,
 					TypeEnvironment<InferredTypes>>> result : tool.getResultOf(cfg)) {
 				AnalysisState<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain,
-				TypeEnvironment<InferredTypes>>> analysisResult = null;
+						TypeEnvironment<InferredTypes>>> analysisResult = null;
 
 				try {
 					analysisResult = result.getAnalysisStateBefore(node);
@@ -82,7 +79,7 @@ public boolean visit(
 					if (node instanceof Sha3 || node instanceof Sstore || node instanceof Jumpi) {
 						if (checkTaintTwoPops(taintedStack))
 							raiseWarning(node, tool, cfg);
-					}  else if (node instanceof Jump) {
+					} else if (node instanceof Jump) {
 						if (checkTaintOnePop(taintedStack))
 							raiseWarning(node, tool, cfg);
 					}
@@ -104,7 +101,6 @@ else if (firstStackElement.isTaint() || secondStackElement.isTaint())
 		return false;
 	}
 
-
 	// 1 pop()
 	private boolean checkTaintOnePop(TaintAbstractDomain taintedStack) {
 		TaintElement firstStackElement = taintedStack.getFirstElement();
@@ -116,7 +112,6 @@ else if (firstStackElement.isTaint())
 		return false;
 	}
 
-
 	private void raiseWarning(Statement sink, CheckToolWithAnalysisResults<
 			SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool,
 			EVMCFG cfg) {

src/main/java/it/unipr/checker/TxOriginChecker.java

@@ -1,8 +1,5 @@
 package it.unipr.checker;
 
-import org.apache.logging.log4j.LogManager;
-import org.apache.logging.log4j.Logger;
-
 import it.unipr.analysis.MyCache;
 import it.unipr.analysis.taint.TaintAbstractDomain;
 import it.unipr.analysis.taint.TaintElement;
@@ -20,16 +17,18 @@
 import it.unive.lisa.checks.semantic.SemanticCheck;
 import it.unive.lisa.program.cfg.CFG;
 import it.unive.lisa.program.cfg.statement.Statement;
+import org.apache.logging.log4j.LogManager;
+import org.apache.logging.log4j.Logger;
 
 public class TxOriginChecker implements
-SemanticCheck<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> {
+		SemanticCheck<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> {
 
 	private static final Logger log = LogManager.getLogger(TxOriginChecker.class);
 
 	@Override
 	public boolean visit(
 			CheckToolWithAnalysisResults<
-			SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool,
+					SimpleAbstractState<MonolithicHeap, TaintAbstractDomain, TypeEnvironment<InferredTypes>>> tool,
 			CFG graph, Statement node) {
 
 		if (node instanceof Jumpi) {
@@ -38,7 +37,7 @@ public boolean visit(
 			for (AnalyzedCFG<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain,
 					TypeEnvironment<InferredTypes>>> result : tool.getResultOf(cfg)) {
 				AnalysisState<SimpleAbstractState<MonolithicHeap, TaintAbstractDomain,
-				TypeEnvironment<InferredTypes>>> analysisResult = null;
+						TypeEnvironment<InferredTypes>>> analysisResult = null;
 
 				try {
 					analysisResult = result.getAnalysisStateBefore(node);
@@ -69,9 +68,10 @@ public boolean visit(
 							log.debug("Tx. Origin attack at {} at line no. {}", jumploc.getPc(),
 									jumploc.getSourceCodeLine());
 
-							String warn = "TxOrigin attack at " + ((ProgramCounterLocation) node.getLocation()).getSourceCodeLine();
+							String warn = "TxOrigin attack at "
+									+ ((ProgramCounterLocation) node.getLocation()).getSourceCodeLine();
 							tool.warn(warn);
-							MyCache.getInstance().addTxOriginWarning(cfg.hashCode(), warn);				
+							MyCache.getInstance().addTxOriginWarning(cfg.hashCode(), warn);
 						}
 					}
 				}