Reentrancy checker ran just once

lisa-analyzer · Nov 4, 2024 · 9f49532 · 9f49532
1 parent 8a78c2a
commit 9f49532
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 2 deletions.
diff --git a/src/main/java/it/unipr/EVMLiSA.java b/src/main/java/it/unipr/EVMLiSA.java
@@ -224,7 +224,6 @@ else if (bytecode != null)
 		conf.interproceduralAnalysis = new ModularWorstCaseAnalysis<>();
 		JumpSolver checker = new JumpSolver();
 		conf.semanticChecks.add(checker);
-		conf.semanticChecks.add(new ReentrancyChecker());
 		conf.callGraph = new RTACallGraph();
 		conf.serializeResults = false;
 		conf.optimize = false;
@@ -241,6 +240,11 @@ else if (dumpDot)
 			// Print the results
 			finish = System.currentTimeMillis();
 
+
+			conf.semanticChecks.clear();
+			conf.semanticChecks.add(new ReentrancyChecker());
+			lisa.run(program);
+
 			jsonOptions.put("re-entrancy-warning", UniqueItemCollector.getInstance().size()); // TODO
 																								// fix
 

diff --git a/src/main/java/it/unipr/frontend/EVMCFGGenerator.java b/src/main/java/it/unipr/frontend/EVMCFGGenerator.java
@@ -55,7 +55,6 @@
 import java.util.HashMap;
 import java.util.Map;
 import java.util.Map.Entry;
-
 import org.apache.commons.io.FilenameUtils;
 
 /**