Intento de logueo total al final

02/soot-dataflow-analysis/zero-analysis/src/main/java/Launcher.java

@@ -42,6 +42,7 @@ public class Launcher {
 		  }
 		  
         }
+		results.getAllVariablesStatus();
       }
     }));
     soot.Main.main(args);

02/soot-dataflow-analysis/zero-analysis/src/main/java/dataflow/DivisionByZeroAnalysis.java

@@ -17,6 +17,7 @@ public class DivisionByZeroAnalysis extends ForwardFlowAnalysis<Unit, ZeroAbstra
 
   private HashMap<Unit, Boolean> possibleDivisionByZero = new HashMap<>();
   private HashMap<Unit, String> value_logs = new HashMap<>();
+  private HashMap<String, String> variables_logs = new HashMap<>();
 
   public DivisionByZeroAnalysis(UnitGraph graph) {
     super(graph);
@@ -42,6 +43,7 @@ public class DivisionByZeroAnalysis extends ForwardFlowAnalysis<Unit, ZeroAbstra
       }
 	  if(resolvedValue != null){
 		value_logs.put(unit,resolvedValue.toString());
+		variables_logs.put(variable.getName(),resolvedValue.toString());
 	  }
       // Set in flowed values
       out.setValue(variable.getName(), resolvedValue);
@@ -72,5 +74,13 @@ public class DivisionByZeroAnalysis extends ForwardFlowAnalysis<Unit, ZeroAbstra
   public String getValueLogs(Unit unit){
 	return value_logs.getOrDefault(unit, "No information");
   }
+  
+  public String getAllVariablesStatus(){
+	  String res="";
+	  for (Map.Entry<String, String> entry : variables_logs.entrySet()) {
+		  res=res+" "+entry.getKey()+": "+entry.getValue()+";";
+	  }
+	  return res;
+  }
 
 }