feat(spgroup#31): export result data in file and console.

barbosamaatheus · Sep 29, 2021 · 8a2cf04 · 8a2cf04
1 parent fcb7e0c
commit 8a2cf04
Show file tree

Hide file tree

Showing 3 changed files with 46 additions and 8 deletions.
diff --git a/src/main/java/br/unb/cic/analysis/Main.java b/src/main/java/br/unb/cic/analysis/Main.java
@@ -97,9 +97,9 @@ private void exportResults() throws Exception {
         final String out = "out.txt"; 
         final FileWriter fw = new FileWriter(out);
         conflicts.forEach(c -> {
-    		try { 
-    			fw.write(c + "\n");
-    		}
+    		try {
+                fw.write(c + "\n\n");
+            }
     		catch(Exception e) {
     			System.out.println("error exporting the results " + e.getMessage());
     		}

diff --git a/src/main/java/br/unb/cic/analysis/ioa/InterproceduralOverrideAssignment.java b/src/main/java/br/unb/cic/analysis/ioa/InterproceduralOverrideAssignment.java
@@ -76,7 +76,15 @@ protected void internalTransform(String s, Map<String, String> map) {
         List<SootMethod> methods = Scene.v().getEntryPoints();
         methods.forEach(sootMethod -> traverse(new ArraySparseSet<>(), sootMethod, Statement.Type.IN_BETWEEN));
 
-        logger.log(Level.INFO, () -> String.format("%s", "CONFLICTS: " + getConflicts()));
+        Set<Conflict> conflictsFilter = new HashSet<>();
+        filterConflicts(getConflicts(), conflictsFilter);
+
+        logger.log(Level.INFO, () -> String.format("%s", "Number of conflicts filter: " + conflictsFilter.size()));
+        conflictsFilter.forEach(conflict -> {
+            logger.log(Level.INFO, conflict.toStringAbstract());
+        });
+
+        //logger.log(Level.INFO, () -> String.format("%s", "CONFLICTS: " + conflictsFilter));
 
         /* left.forEach(dataFlowAbstraction -> {
             String leftStmt = String.format("%s", "LEFT: " + dataFlowAbstraction.getStmt());
@@ -89,6 +97,19 @@ protected void internalTransform(String s, Map<String, String> map) {
         }); */
     }
 
+    private void filterConflicts(Set<Conflict> conflictsResults, Set<Conflict> conflictsFilter) {
+        conflictsResults.forEach(conflict -> {
+            if (conflictsFilter.isEmpty()) {
+                conflictsFilter.add(conflict);
+            }
+            conflictsFilter.forEach(filter -> {
+                if ((!conflict.getSourceTraversedLine().get(0).equals(filter.getSourceTraversedLine().get(0))) && (!conflict.getSinkTraversedLine().get(0).equals(filter.getSinkTraversedLine().get(0)))) {
+                    conflictsFilter.add(conflict);
+                }
+            });
+        });
+    }
+
     /**
      * This method captures the safe body of the current method and delegates the analysis function to units of (LEFT or RIGHT) or units of BASE.
      *

diff --git a/src/main/java/br/unb/cic/analysis/model/Conflict.java b/src/main/java/br/unb/cic/analysis/model/Conflict.java
@@ -71,6 +71,22 @@ public Integer getSinkLineNumber() {
         return sinkLineNumber;
     }
 
+    public List<TraversedLine> getSourceTraversedLine() {
+        return sourceTraversedLine;
+    }
+
+    public void setSourceTraversedLine(List<TraversedLine> sourceTraversedLine) {
+        this.sourceTraversedLine = sourceTraversedLine;
+    }
+
+    public List<TraversedLine> getSinkTraversedLine() {
+        return sinkTraversedLine;
+    }
+
+    public void setSinkTraversedLine(List<TraversedLine> sinkTraversedLine) {
+        this.sinkTraversedLine = sinkTraversedLine;
+    }
+
     @Override
     public boolean equals(Object o) {
         if (this == o) return true;
@@ -91,14 +107,15 @@ public int hashCode() {
         return Objects.hash(sourceClassName, sourceMethodName, sourceLineNumber, sinkClassName, sinkMethodName, sinkLineNumber);
     }
 
-/*    @Override
-    public String toString() {
+
+    public String toStringAbstract() {
         return String.format("source(%s, %s, %d, %s, %s) => sink(%s, %s, %d, %s, %s)", sourceTraversedLine.get(0).getSootClass(),
                 sourceTraversedLine.get(0).getSootMethod(), sourceTraversedLine.get(0).getLineNumber(), sourceUnit,
                 sourceTraversedLine,
-                sinkTraversedLine.get(0).getSootClass(),  sinkTraversedLine.get(0).getSootMethod(),
+                sinkTraversedLine.get(0).getSootClass(), sinkTraversedLine.get(0).getSootMethod(),
                 sinkTraversedLine.get(0).getLineNumber(), sinkUnit, sinkTraversedLine);
-    }*/
+    }
+
 
     @Override
     public String toString() {