gnunet-svn
[Top][All Lists]
Advanced

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[GNUnet-SVN] [taler-schemafuzz] branch master updated: improving synthax


From: gnunet
Subject: [GNUnet-SVN] [taler-schemafuzz] branch master updated: improving synthax for error reports. Handling case where no error was thrown during the target execution
Date: Thu, 16 Aug 2018 18:10:25 +0200

This is an automated email from the git hooks/post-receive script.

erwan-ulrich pushed a commit to branch master
in repository schemafuzz.

The following commit(s) were added to refs/heads/master by this push:
     new c04a3b0  improving synthax for error reports. Handling case where no 
error was thrown during the target execution
c04a3b0 is described below

commit c04a3b047197a7b02c5d9e3ebe2aa1f737ca1cd5
Author: Feideus <address@hidden>
AuthorDate: Thu Aug 16 18:10:19 2018 +0200

    improving synthax for error reports. Handling case where no error was 
thrown during the target execution
---
 src/main/java/org/schemaspy/DBFuzzer.java          |   5 +++-
 .../java/org/schemaspy/model/ReportVector.java     |   9 ++++++-
 .../java/org/schemaspy/model/SingleChange.java     |   2 +-
 stackTraceCParser.sh                               |   8 +++---
 test_c_crash.c                                     |  28 ++++-----------------
 test_c_crash.exe                                   | Bin 9936 -> 10112 bytes
 6 files changed, 23 insertions(+), 29 deletions(-)

diff --git a/src/main/java/org/schemaspy/DBFuzzer.java 
b/src/main/java/org/schemaspy/DBFuzzer.java
index e4071c1..f9b5c86 100755
--- a/src/main/java/org/schemaspy/DBFuzzer.java
+++ b/src/main/java/org/schemaspy/DBFuzzer.java
@@ -224,7 +224,10 @@ public class DBFuzzer
                     mutationReport.parseFile("errorReports/parsedStackTrace_" 
+ currentMutation.getId()); // initialises the reportVector stacktrace
                     
mutationReport.setStackTraceHash(mutationReport.hashStackTrace(mutationTree));
                     currentMutation.setReportVector(mutationReport);
-                    mark = new Scorer().score(currentMutation, mutationTree);
+                    if(currentMutation.getReportVector().isErrorTriggered() == 
true)
+                        mark = new Scorer().score(currentMutation, 
mutationTree);
+                    else
+                        mark = 0;
                     currentMutation.setInterest_mark(mark);
                     currentMutation.setWeight(mark);
                     currentMutation.propagateWeight();
diff --git a/src/main/java/org/schemaspy/model/ReportVector.java 
b/src/main/java/org/schemaspy/model/ReportVector.java
index ba41bd9..95519b9 100755
--- a/src/main/java/org/schemaspy/model/ReportVector.java
+++ b/src/main/java/org/schemaspy/model/ReportVector.java
@@ -7,6 +7,7 @@ import java.util.HashMap;
 import java.util.Map;
 
 public class ReportVector {
+    private boolean errorTriggered;
     private ArrayList<StackTraceLine> stackTrace;
     private double[] stackTraceHash;
     private int codeCoverage; //unused right now
@@ -14,10 +15,15 @@ public class ReportVector {
 
     public ReportVector(GenericTreeNode parentMutation)
     {
+        this.errorTriggered = false;
         this.parentMutation = parentMutation;
         stackTrace = new ArrayList<StackTraceLine>();
     }
 
+    public boolean isErrorTriggered() { return errorTriggered; }
+
+    public void setErrorTriggered(boolean errorTriggered) {this.errorTriggered 
= errorTriggered; }
+
     public double[] getStackTraceHash() { return stackTraceHash; }
 
     public void setStackTraceHash(double[] stackTraceHash) { 
this.stackTraceHash = stackTraceHash; }
@@ -61,6 +67,7 @@ public class ReportVector {
 
         try {
             BufferedReader infile = new BufferedReader(new 
FileReader(pathToFile));
+            if((data = infile.readLine()) != null && data.equals("0"))
             while ((data = infile.readLine()) != null) {
                 if (data.contains(":"))
                 {
@@ -74,7 +81,7 @@ public class ReportVector {
                     currentArray.add(data.replace(",",""));
                 }
             }
-
+            this.errorTriggered = true;
             storeLines(allLists);
         }
         catch(Exception e)
diff --git a/src/main/java/org/schemaspy/model/SingleChange.java 
b/src/main/java/org/schemaspy/model/SingleChange.java
index 53951a9..a4a0e01 100755
--- a/src/main/java/org/schemaspy/model/SingleChange.java
+++ b/src/main/java/org/schemaspy/model/SingleChange.java
@@ -55,7 +55,7 @@ public class SingleChange
     @Override
    public String toString()
    {
-     return "\n[SG - attachedToMutation : 
"+this.getAttachedToMutation().getId()+" | parentTable : 
"+this.getParentTableColumn().getTable()+" | parentTableColumn : 
"+this.getParentTableColumn().toString()+" | OV : "+oldValue+" | NV : 
"+newValue+" ]\n";
+     return "\n[SG - attachedToMutation : 
"+this.getAttachedToMutation().getId()+" | parentTable : 
"+this.getParentTableColumn().getTable()+" | parentTableColumn : 
"+this.getParentTableColumn().getName().toString()+" | OV : "+oldValue+" | NV : 
"+newValue+" ]\n";
    }
 
    public Object getOldValue()
diff --git a/stackTraceCParser.sh b/stackTraceCParser.sh
index 23d942d..7099b0d 100755
--- a/stackTraceCParser.sh
+++ b/stackTraceCParser.sh
@@ -19,13 +19,14 @@ echo "--------------------------"
 ./$1
 echo "--------------------------"
 
-checkCoreGen=`ls | grep $1`;
+checkCoreGen=`ls | grep core`;
 
 if [[ -n "$checkCoreGen" ]]
 then
     mv ./core errorReports/
 else
     echo "no core dump generated. Abort";
+    echo "0" >> errorReports/parsedStackTrace_$2
     exit 0;
 fi
 
@@ -57,7 +58,7 @@ do
 done
 echo "line numbers : " "address@hidden"
 
-resultLS=`ls errorReports | grep parsedStackTrace_Mut_$2`
+resultLS=`ls errorReports | grep parsedStackTrace_$2`
 
 if [[ ! -z $resultLS ]]
 then
@@ -65,7 +66,7 @@ then
     while [ $fileExists -eq 1 ]
     do
         var=`shuf -i 1-10000 -n 1`;
-        resultLS=`ls errorReports | grep parsedStackTrace_Mut_$var`
+        resultLS=`ls errorReports | grep parsedStackTrace_$var`
         echo $resultLS
 
         if [[ -n "$resultLS" ]]
@@ -136,3 +137,4 @@ echo "endpath:" >> errorReports/$reportFileName
 
 rm errorReports/core
 rm errorReports/stackTrace_$binaryWithoutExtention
+
diff --git a/test_c_crash.c b/test_c_crash.c
index 8613ac5..d05bf66 100755
--- a/test_c_crash.c
+++ b/test_c_crash.c
@@ -1,13 +1,17 @@
 #include<stdio.h>
 #include<stdlib.h>
+#include<time.h>
 
 void tmpfun();
 void tmpfun2();
 
 int main(int argc, char** argv)
 {
+       srand(time(NULL));
+       int random = rand()%2;
        printf("crash test");
-       tmpfun();
+       if(random == 1)
+               tmpfun();
        return EXIT_SUCCESS;
 }
 
@@ -20,25 +24,3 @@ void tmpfun2()
 {
     *(char *)0 = 0;
 }
-fileNames:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-:
-test_c_crash.c,
-:
-test_c_crash.c,
-:
-test_c_crash.c,
-fileNames:
-test_c_crash.c,
-fileNames:
-errorReports/parsedStackTrace_30,
diff --git a/test_c_crash.exe b/test_c_crash.exe
index 095f867..85e7f63 100755
Binary files a/test_c_crash.exe and b/test_c_crash.exe differ

-- 
To stop receiving notification emails like this one, please contact
address@hidden



reply via email to

[Prev in Thread] Current Thread [Next in Thread]