Fixing last details

lisa-analyzer · Jan 9, 2025 · 75a20d7 · 75a20d7
1 parent 00c2863
commit 75a20d7
Show file tree

Hide file tree

Showing 6 changed files with 113 additions and 151 deletions.
diff --git a/src/main/java/it/unipr/EVMLiSA.java b/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);