Fixing last details

Author: denisguareschi

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

@@ -1,7 +1,7 @@
 package it.unipr;
 
 import it.unipr.analysis.*;
-import it.unipr.analysis.taint.TaintAbstractStack;
+import it.unipr.analysis.taint.TaintAbstractDomain;
 import it.unipr.cfg.*;
 import it.unipr.checker.JumpSolver;
 import it.unipr.checker.ReentrancyChecker;
@@ -498,9 +498,9 @@ void checkers(LiSAConfiguration conf, LiSA lisa, Program program, JumpSolver che
 			// Clear existing checks and add the TxOriginChecker
 			conf.semanticChecks.clear();
 			conf.semanticChecks.add(new TxOriginChecker());
-			ArrayList<String> list = new ArrayList<String>();
+			HashSet<String> list = new HashSet<String>();
 			list.add("OriginOperator");
-			conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(), new TaintAbstractStack(list),
+			conf.abstractState = new SimpleAbstractState<>(new MonolithicHeap(), new TaintAbstractDomain(list),
 					new TypeEnvironment<>(new InferredTypes()));
 			lisa.run(program);