[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] r21460 - in monkey/branches/MonkeyBacktracking/monkey: . sr
From: |
gnunet |
Subject: |
[GNUnet-SVN] r21460 - in monkey/branches/MonkeyBacktracking/monkey: . src/monkey src/monkey/seaspider |
Date: |
Sun, 13 May 2012 14:10:41 +0200 |
Author: safey
Date: 2012-05-13 14:10:41 +0200 (Sun, 13 May 2012)
New Revision: 21460
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_modified_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_depth_1.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_modified_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.c
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.db
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/SeaspiderFatJar.jar
Removed:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_without_depth.xml
Modified:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/src/monkey/Makefile.am
monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
monkey/branches/MonkeyBacktracking/monkey/src/monkey/edb_api.c
monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey_action.h
Log:
Reference XML reports added. Bug fixed: Monkey should not bail out after
discovering a NULL pointer. Bug fixed: Scope depth was not calculated
correctly. Monkey accepts arguments for target program. Fatjar added for
Seaspider
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_assertion_failure_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_assertion_failure_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_assertion_failure_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,75 @@
+<?xml version="1.0"?>
+<crash category="Assertion Failure" function="assertionFailure" line="9"
file="bug_assertion_failure.c" >
+<history><epoch step="0" >
+<trace><function name="assertionFailure" line="9"
file="bug_assertion_failure.c" depth="0" >
+<expressions><expression name="assert(x<4)" >
+Not Evaluated</expression>
+<expression name="x<4" >
+0</expression>
+<expression name="printf("Assertion Failure Now!\n")" >
+Not Evaluated</expression>
+<expression name="x" >
+5</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_assertion_failure.c" depth="1" >
+<expressions><expression name="assertionFailure()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="assertionFailure" line="8"
file="bug_assertion_failure.c" depth="0" >
+<expressions><expression name="printf("Assertion Failure Now!\n")" >
+Not Evaluated</expression>
+<expression name="x" >
+5</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_assertion_failure.c" depth="1" >
+<expressions><expression name="assertionFailure()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="assertionFailure" line="7"
file="bug_assertion_failure.c" depth="0" >
+<expressions><expression name="x" >
+0</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_assertion_failure.c" depth="1" >
+<expressions><expression name="assertionFailure()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="main" line="14" file="bug_assertion_failure.c"
depth="0" >
+<expressions><expression name="assertionFailure()" >
+Not Evaluated</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_assertion_failure_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_bad_memory_access_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_bad_memory_access_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_bad_memory_access_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,105 @@
+<?xml version="1.0"?>
+<crash category="Bad memory access" function="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" >
+<valgrind>==22171== Memcheck, a memory error detector
+==22171== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
+==22171== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
+==22171== Command: src/monkey/bug_bad_memory_access
+==22171== Parent PID: 22170
+==22171==
+==22171== Invalid write of size 4
+==22171== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
+==22171== by 0x400532: main (bug_bad_memory_access.c:14)
+==22171== Address 0x4252352 is not stack'd, malloc'd or (recently) free'd
+==22171==
+==22171==
+==22171== Process terminating with default action of signal 11 (SIGSEGV)
+==22171== Access not within mapped region at address 0x4252352
+==22171== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
+==22171== by 0x400532: main (bug_bad_memory_access.c:14)
+==22171== If you believe this happened as a result of a stack
+==22171== overflow in your program's main thread (unlikely but
+==22171== possible), you can try to increase the size of the
+==22171== main thread stack using the --main-stacksize= flag.
+==22171== The main thread stack size used in this run was 8388608.
+==22171==
+==22171== HEAP SUMMARY:
+==22171== in use at exit: 0 bytes in 0 blocks
+==22171== total heap usage: 0 allocs, 0 frees, 0 bytes allocated
+==22171==
+==22171== All heap blocks were freed -- no leaks are possible
+==22171==
+==22171== For counts of detected and suppressed errors, rerun with: -v
+==22171== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from
4)</valgrind>
+<history><epoch step="0" >
+<trace><function name="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><expression name="*p=5" >
+Not Evaluated</expression>
+<expression name="*p" >
+Not Evaluated</expression>
+<expression name="printf("Bad memory access now!\n")" >
+Not Evaluated</expression>
+<expression name="0x4252352" >
+69542738</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
+<expressions><expression name="badMemoryAccess()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="badMemoryAccess" line="8"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><expression name="printf("Bad memory access now!\n")" >
+Not Evaluated</expression>
+<expression name="0x4252352" >
+69542738</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
+<expressions><expression name="badMemoryAccess()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="badMemoryAccess" line="7"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><expression name="0x4252352" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
+<expressions><expression name="badMemoryAccess()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="main" line="14" file="bug_bad_memory_access.c"
depth="0" >
+<expressions><expression name="badMemoryAccess()" >
+Not Evaluated</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_bad_memory_access_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,214 @@
+<?xml version="1.0"?>
+<crash category="Division By Zero" function="main" line="14"
file="bug_division_by_zero_loop.c" >
+<history><epoch step="0" >
+<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result/k" >
+Not Evaluated</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+1</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+-10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+0</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+1</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+-10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+-10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="main" line="15" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+10</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+-10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="4" >
+<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result/k" >
+-10</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="5" >
+<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="6" >
+<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="7" >
+<trace><function name="main" line="10" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="8" >
+<trace><function name="main" line="8" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result" >
+32767</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="9" >
+<trace><function name="main" line="7" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="-1" >
+-1</expression>
+<expression name="k" >
+0</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,130 @@
+<?xml version="1.0"?>
+<crash category="Division By Zero" function="main" line="14"
file="bug_division_by_zero_loop.c" >
+<history><epoch step="0" >
+<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result/k" >
+Not Evaluated</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="main" line="15" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+10</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="4" >
+<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result/k" >
+-10</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="5" >
+<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="6" >
+<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="i<5" >
+1</expression>
+<expression name="i" >
+0</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="7" >
+<trace><function name="main" line="10" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="8" >
+<trace><function name="main" line="8" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result" >
+32767</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="9" >
+<trace><function name="main" line="7" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="-1" >
+-1</expression>
+<expression name="k" >
+0</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_modified_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_modified_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_modified_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,207 @@
+<?xml version="1.0"?>
+<crash category="npe" function="crashFunction" line="20"
file="bug_null_pointer_exception_modified.c" >
+<history><epoch step="0" >
+<trace><function name="crashFunction" line="20"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="crashStruct->crashValue="hello!"" >
+Not Evaluated</expression>
+<expression name="crashStruct->crashValue" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x0</expression>
+<expression name="a+b" >
+8</expression>
+<expression name="c" >
+8</expression>
+<expression name="b" >
+5</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="crashFunction" line="19"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="printf("Now the program will
crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x0</expression>
+<expression name="a+b" >
+8</expression>
+<expression name="c" >
+8</expression>
+<expression name="b" >
+5</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="crashFunction" line="18"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="crashStruct=NULL" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x4003db</expression>
+<expression name="a+b" >
+8</expression>
+<expression name="c" >
+8</expression>
+<expression name="b" >
+5</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="crashFunction" line="17"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="c=a+b" >
+Not Evaluated</expression>
+<expression name="a+b" >
+8</expression>
+<expression name="c" >
+32767</expression>
+<expression name="b" >
+5</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="4" >
+<trace><function name="crashFunction" line="16"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="b=5" >
+Not Evaluated</expression>
+<expression name="b" >
+4195765</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="5" >
+<trace><function name="crashFunction" line="15"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="a=3" >
+Not Evaluated</expression>
+<expression name="a" >
+0</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="6" >
+<trace><function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="1" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_modified_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,83 @@
+<?xml version="1.0"?>
+<crash category="npe" function="crashFunction" line="14"
file="bug_null_pointer_exception.c" >
+<history><epoch step="0" >
+<trace><function name="crashFunction" line="14"
file="bug_null_pointer_exception.c" depth="0" >
+<expressions><expression name="crashStruct->crashValue="hello!"" >
+Not Evaluated</expression>
+<expression name="crashStruct->crashValue" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x0</expression>
+</expressions>
+</function>
+<function name="main" line="19" file="bug_null_pointer_exception.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="1" >
+<trace><function name="crashFunction" line="13"
file="bug_null_pointer_exception.c" depth="0" >
+<expressions><expression name="printf("Now the program will
crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x0</expression>
+</expressions>
+</function>
+<function name="main" line="19" file="bug_null_pointer_exception.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="2" >
+<trace><function name="crashFunction" line="12"
file="bug_null_pointer_exception.c" depth="0" >
+<expressions><expression name="crashStruct=NULL" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x400540</expression>
+</expressions>
+</function>
+<function name="main" line="19" file="bug_null_pointer_exception.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+<epoch step="3" >
+<trace><function name="main" line="19" file="bug_null_pointer_exception.c"
depth="0" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bt_bug_null_pointer_exception_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Modified:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_assertion_failure_rpt.xml
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/ref_bug_assertion_failure_rpt.xml
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/ref_bug_assertion_failure_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -23,53 +23,5 @@
</function>
</trace>
</epoch>
-<epoch step="1" >
-<trace><function name="assertionFailure" line="8"
file="bug_assertion_failure.c" depth="0" >
-<expressions><expression name="printf("Assertion Failure Now!\n")" >
-Not Evaluated</expression>
-<expression name="x" >
-5</expression>
-</expressions>
-</function>
-<function name="main" line="14" file="bug_assertion_failure.c" depth="1" >
-<expressions><expression name="assertionFailure()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="2" >
-<trace><function name="assertionFailure" line="7"
file="bug_assertion_failure.c" depth="0" >
-<expressions><expression name="x" >
-0</expression>
-</expressions>
-</function>
-<function name="main" line="14" file="bug_assertion_failure.c" depth="1" >
-<expressions><expression name="assertionFailure()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="3" >
-<trace><function name="main" line="14" file="bug_assertion_failure.c"
depth="0" >
-<expressions><expression name="assertionFailure()" >
-Not Evaluated</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
</history>
</crash>
Deleted: monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access.xml
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access.xml
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -1,105 +0,0 @@
-<?xml version="1.0"?>
-<crash category="Bad memory access" function="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" >
-<valgrind>==22171== Memcheck, a memory error detector
-==22171== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
-==22171== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
-==22171== Command: src/monkey/bug_bad_memory_access
-==22171== Parent PID: 22170
-==22171==
-==22171== Invalid write of size 4
-==22171== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
-==22171== by 0x400532: main (bug_bad_memory_access.c:14)
-==22171== Address 0x4252352 is not stack'd, malloc'd or (recently) free'd
-==22171==
-==22171==
-==22171== Process terminating with default action of signal 11 (SIGSEGV)
-==22171== Access not within mapped region at address 0x4252352
-==22171== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
-==22171== by 0x400532: main (bug_bad_memory_access.c:14)
-==22171== If you believe this happened as a result of a stack
-==22171== overflow in your program's main thread (unlikely but
-==22171== possible), you can try to increase the size of the
-==22171== main thread stack using the --main-stacksize= flag.
-==22171== The main thread stack size used in this run was 8388608.
-==22171==
-==22171== HEAP SUMMARY:
-==22171== in use at exit: 0 bytes in 0 blocks
-==22171== total heap usage: 0 allocs, 0 frees, 0 bytes allocated
-==22171==
-==22171== All heap blocks were freed -- no leaks are possible
-==22171==
-==22171== For counts of detected and suppressed errors, rerun with: -v
-==22171== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from
4)</valgrind>
-<history><epoch step="0" >
-<trace><function name="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" depth="0" >
-<expressions><expression name="*p=5" >
-Not Evaluated</expression>
-<expression name="*p" >
-Not Evaluated</expression>
-<expression name="printf("Bad memory access now!\n")" >
-Not Evaluated</expression>
-<expression name="0x4252352" >
-69542738</expression>
-</expressions>
-</function>
-<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
-<expressions><expression name="badMemoryAccess()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="1" >
-<trace><function name="badMemoryAccess" line="8"
file="bug_bad_memory_access.c" depth="0" >
-<expressions><expression name="printf("Bad memory access now!\n")" >
-Not Evaluated</expression>
-<expression name="0x4252352" >
-69542738</expression>
-</expressions>
-</function>
-<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
-<expressions><expression name="badMemoryAccess()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="2" >
-<trace><function name="badMemoryAccess" line="7"
file="bug_bad_memory_access.c" depth="0" >
-<expressions><expression name="0x4252352" >
-Not Evaluated</expression>
-</expressions>
-</function>
-<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
-<expressions><expression name="badMemoryAccess()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="3" >
-<trace><function name="main" line="14" file="bug_bad_memory_access.c"
depth="0" >
-<expressions><expression name="badMemoryAccess()" >
-Not Evaluated</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-</history>
-</crash>
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access_rpt.xml
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access_rpt.xml
(rev 0)
+++ monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,57 @@
+<?xml version="1.0"?>
+<crash category="Bad memory access" function="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" >
+<valgrind>==8476== Memcheck, a memory error detector
+==8476== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
+==8476== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
+==8476== Command: src/monkey/bug_bad_memory_access
+==8476== Parent PID: 8475
+==8476==
+==8476== Invalid write of size 4
+==8476== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
+==8476== by 0x400532: main (bug_bad_memory_access.c:14)
+==8476== Address 0x4252352 is not stack'd, malloc'd or (recently) free'd
+==8476==
+==8476==
+==8476== Process terminating with default action of signal 11 (SIGSEGV)
+==8476== Access not within mapped region at address 0x4252352
+==8476== at 0x400512: badMemoryAccess (bug_bad_memory_access.c:9)
+==8476== by 0x400532: main (bug_bad_memory_access.c:14)
+==8476== If you believe this happened as a result of a stack
+==8476== overflow in your program's main thread (unlikely but
+==8476== possible), you can try to increase the size of the
+==8476== main thread stack using the --main-stacksize= flag.
+==8476== The main thread stack size used in this run was 8388608.
+==8476==
+==8476== HEAP SUMMARY:
+==8476== in use at exit: 0 bytes in 0 blocks
+==8476== total heap usage: 0 allocs, 0 frees, 0 bytes allocated
+==8476==
+==8476== All heap blocks were freed -- no leaks are possible
+==8476==
+==8476== For counts of detected and suppressed errors, rerun with: -v
+==8476== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 4 from
4)</valgrind>
+<history><epoch step="0" >
+<trace><function name="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><expression name="*p=5" >
+Not Evaluated</expression>
+<expression name="*p" >
+Not Evaluated</expression>
+<expression name="printf("Bad memory access now!\n")" >
+Not Evaluated</expression>
+<expression name="0x4252352" >
+69542738</expression>
+</expressions>
+</function>
+<function name="main" line="14" file="bug_bad_memory_access.c" depth="1" >
+<expressions><expression name="badMemoryAccess()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_bad_memory_access_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_depth_1.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_depth_1.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_depth_1.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,28 @@
+<?xml version="1.0"?>
+<crash category="Division By Zero" function="main" line="14"
file="bug_division_by_zero_loop.c" >
+<history><epoch step="0" >
+<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
+<expressions><expression name="result/k" >
+Not Evaluated</expression>
+<expression name="i<5" >
+1</expression>
+<expression name="i" >
+1</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+-10</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+0</expression>
+<expression name="argv" >
+0x7fffffffe688</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_depth_1.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_without_depth.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_without_depth.xml
2012-05-13 12:00:08 UTC (rev 21459)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bug_division_by_zero_loop_without_depth.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -1,130 +0,0 @@
-<?xml version="1.0"?>
-<crash category="Division By Zero" function="main" line="14"
file="bug_division_by_zero_loop.c" >
-<history><epoch step="0" >
-<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="result/k" >
-Not Evaluated</expression>
-<expression name="i<5" >
-1</expression>
-<expression name="i" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="1" >
-<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="i<5" >
-1</expression>
-<expression name="i" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="2" >
-<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="i<5" >
-1</expression>
-<expression name="i" >
-0</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="3" >
-<trace><function name="main" line="15" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="printf("result = %d\n",result)" >
-Not Evaluated</expression>
-<expression name="result/k" >
-10</expression>
-<expression name="i<5" >
-1</expression>
-<expression name="i" >
-0</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="4" >
-<trace><function name="main" line="14" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="result/k" >
--10</expression>
-<expression name="i<5" >
-1</expression>
-<expression name="i" >
-0</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="5" >
-<trace><function name="main" line="13" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="i<5" >
-1</expression>
-<expression name="i" >
-0</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="6" >
-<trace><function name="main" line="11" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="i<5" >
-1</expression>
-<expression name="i" >
-0</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="7" >
-<trace><function name="main" line="10" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="printf("I am alive!\n")" >
-Not Evaluated</expression>
-<expression name="result" >
-10</expression>
-<expression name="-1" >
--1</expression>
-<expression name="k" >
--1</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="8" >
-<trace><function name="main" line="8" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="result" >
-32767</expression>
-<expression name="-1" >
--1</expression>
-<expression name="k" >
--1</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="9" >
-<trace><function name="main" line="7" file="bug_division_by_zero_loop.c"
depth="0" >
-<expressions><expression name="-1" >
--1</expression>
-<expression name="k" >
-0</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-</history>
-</crash>
Added:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_modified_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_modified_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_modified_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,42 @@
+<?xml version="1.0"?>
+<crash category="npe" function="crashFunction" line="20"
file="bug_null_pointer_exception_modified.c" >
+<history><epoch step="0" >
+<trace><function name="crashFunction" line="20"
file="bug_null_pointer_exception_modified.c" depth="0" >
+<expressions><expression name="crashStruct->crashValue="hello!"" >
+Not Evaluated</expression>
+<expression name="crashStruct->crashValue" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+Not Evaluated</expression>
+<expression name="crashStruct" >
+0x0</expression>
+<expression name="a+b" >
+8</expression>
+<expression name="c" >
+8</expression>
+<expression name="b" >
+5</expression>
+<expression name="a" >
+3</expression>
+</expressions>
+</function>
+<function name="intermediateFunction" line="25"
file="bug_null_pointer_exception_modified.c" depth="1" >
+<expressions><expression name="crashFunction()" >
+Not Evaluated</expression>
+</expressions>
+</function>
+<function name="main" line="30" file="bug_null_pointer_exception_modified.c"
depth="2" >
+<expressions><expression name="intermediateFunction()" >
+Not Evaluated</expression>
+<expression name="argv" >
+Not Evaluated</expression>
+<expression name="argc" >
+Not Evaluated</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_modified_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Modified:
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_rpt.xml
2012-05-13 12:00:08 UTC (rev 21459)
+++
monkey/branches/MonkeyBacktracking/monkey/ref_bug_null_pointer_exception_rpt.xml
2012-05-13 12:10:41 UTC (rev 21460)
@@ -25,59 +25,5 @@
</function>
</trace>
</epoch>
-<epoch step="1" >
-<trace><function name="crashFunction" line="13"
file="bug_null_pointer_exception.c" depth="0" >
-<expressions><expression name="printf("Now the program will
crash!\n")" >
-Not Evaluated</expression>
-<expression name="NULL" >
-Not Evaluated</expression>
-<expression name="crashStruct" >
-0x0</expression>
-</expressions>
-</function>
-<function name="main" line="19" file="bug_null_pointer_exception.c" depth="1" >
-<expressions><expression name="crashFunction()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="2" >
-<trace><function name="crashFunction" line="12"
file="bug_null_pointer_exception.c" depth="0" >
-<expressions><expression name="crashStruct=NULL" >
-Not Evaluated</expression>
-<expression name="NULL" >
-Not Evaluated</expression>
-<expression name="crashStruct" >
-0x400540</expression>
-</expressions>
-</function>
-<function name="main" line="19" file="bug_null_pointer_exception.c" depth="1" >
-<expressions><expression name="crashFunction()" >
-Not Evaluated</expression>
-<expression name="argv" >
-Not Evaluated</expression>
-<expression name="argc" >
-Not Evaluated</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
-<epoch step="3" >
-<trace><function name="main" line="19" file="bug_null_pointer_exception.c"
depth="0" >
-<expressions><expression name="crashFunction()" >
-Not Evaluated</expression>
-<expression name="argv" >
-0x7fffffffe688</expression>
-<expression name="argc" >
-1</expression>
-</expressions>
-</function>
-</trace>
-</epoch>
</history>
</crash>
Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/Makefile.am
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/Makefile.am
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/Makefile.am
2012-05-13 12:10:41 UTC (rev 21460)
@@ -50,14 +50,16 @@
bug_bad_memory_access \
bug_assertion_failure \
bug_crypto_crc \
- bug_division_by_zero_loop
+ bug_division_by_zero_loop \
+ bug_null_pointer_exception_modified
#noinst_PROGRAMS = \
bug_null_pointer_exception \
bug_bad_memory_access \
bug_assertion_failure \
bug_crypto_crc \
- bug_division_by_zero_loop
+ bug_division_by_zero_loop \
+ bug_null_pointer_exception_modified
monkey_SOURCES = \
gdbmi.h \
@@ -102,6 +104,10 @@
bug_division_by_zero_loop:
gcc -g -O0 -o bug_division_by_zero_loop bug_division_by_zero_loop.c
+
+bug_null_pointer_exception_modified:
+ gcc -g -O0 -o bug_null_pointer_exception_modified
bug_null_pointer_exception_modified.c
+
check_PROGRAMS = \
test_monkey_edb
Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/action_api.c
2012-05-13 12:10:41 UTC (rev 21460)
@@ -143,7 +143,7 @@
static int safetyCount = 0;
while (!mi_get_response(cntxt->gdb_handle))
- usleep(1000);
+ usleep(GDB_MI_ASYNC_WAIT);
/* The end of the async. */
cntxt->gdb_stop_reason = mi_res_stop(cntxt->gdb_handle);
@@ -199,7 +199,7 @@
cntxt->gdb_frames->line);
gmi_exec_continue_reverse(cntxt->gdb_handle);
while (!mi_get_response(cntxt->gdb_handle))
- usleep(1000);
+ usleep(GDB_MI_ASYNC_WAIT);
cntxt->gdb_frames =
gmi_stack_list_frames(cntxt->gdb_handle);
}
}
@@ -417,7 +417,7 @@
"NULL") == 0)) {
cntxt->gdb_null_variable = tmp->expressionSyntax;
cntxt->bug_detected = BUG_NULL_POINTER; // We are sure
at this point that it's a NULL Pointer Exception and not a Bad Memory Access
- return MONKEY_OK;
+ //return MONKEY_OK;
}
} else {
/* Expressions with assignments should be removed from the
list of expressions */
@@ -553,6 +553,19 @@
}
}
+static void flushScopeEndList()
+{
+ struct ScopeEnd* scopeEndPtr;
+ while (NULL != scopeEndListHead) {
+ scopeEndPtr = scopeEndListHead;
+ scopeEndListHead = scopeEndPtr->next;
+ MONKEY_free(scopeEndPtr);
+ }
+
+ scopeEndListHead = NULL;
+ scopeEndListTail = NULL;
+}
+
int MONKEY_ACTION_inspect_expression_database(struct
MONKEY_ACTION_Context
*cntxt)
@@ -615,6 +628,10 @@
goto cleanup;
}
+ /* Scope end list should be flushed before being used for the new
function */
+ if (NULL != scopeEndListHead)
+ flushScopeEndList();
+
ret =
MONKEY_EDB_get_all_outer_scopes(edbCntxt,
cntxt->gdb_frames->file,
@@ -647,8 +664,10 @@
*/
if (NULL != scopeEndListHead) {
scopeEndPtr = scopeEndListHead;
- while (index < cntxt->scope_depth && NULL != scopeEndPtr)
- scopeEndPtr = scopeEndPtr->next;
+ while (index < cntxt->scope_depth && NULL != scopeEndPtr) {
+ scopeEndPtr = scopeEndPtr->next;
+ index++;
+ }
endScope = scopeEndPtr->lineNo;
}
}
@@ -699,8 +718,7 @@
MONKEY_EDB_get_expressions_outer_scopes(edbCntxt,
cntxt->gdb_frames->
file,
- cntxt->gdb_frames->
- line, endScope,
+ failureFunctionStartLine,
endScope,
&iterateExpressions,
function);
else
@@ -721,8 +739,9 @@
trace = NULL;
MONKEY_EDB_disconnect(edbCntxt);
- if (MONKEY_NO == cntxt->run_reverse)
- mi_disconnect(cntxt->gdb_handle); // otherwise,
we will need to use gdb mi for reverse execution
+ //if (MONKEY_NO == cntxt->run_reverse) {
+ //mi_disconnect(cntxt->gdb_handle); // otherwise,
we will need to use gdb mi for reverse execution
+ //}
} else {
/* Recursively inspect the database for deeper frames */
ret = MONKEY_ACTION_inspect_expression_database(cntxt);
@@ -747,7 +766,7 @@
if (MONKEY_NO == stoppedInSharedLib) {
if (MONKEY_NO != gmi_exec_next_reverse(cntxt->gdb_handle)) {
while (!mi_get_response(cntxt->gdb_handle))
- usleep(1000);
+ usleep(GDB_MI_ASYNC_WAIT);
} else {
fprintf(stderr, "Error: Reverse Execution has failed!\n");
mi_disconnect(cntxt->gdb_handle); // No need for gdb mi
at this point!
@@ -849,7 +868,7 @@
mi_set_from_gdb_cb(cntxt->gdb_handle, cb_from, NULL);
/* Set the name of the child and the command line arguments. */
- if (!gmi_set_exec(cntxt->gdb_handle, cntxt->binary_name, NULL)) {
+ if (!gmi_set_exec(cntxt->gdb_handle, cntxt->binary_name,
cntxt->binaryArgs)) {
printf("Error setting exec y args\n");
mi_disconnect(cntxt->gdb_handle);
return MONKEY_NO;
@@ -1247,6 +1266,8 @@
}
if (NULL != cntxt->xml_report_node)
MONKEY_XML_WRITER_delete_tree(cntxt->xml_report_node);
+ if (NULL != cntxt->binaryArgs)
+ MONKEY_free(cntxt->binaryArgs);
MONKEY_free(cntxt);
return MONKEY_OK;
Added:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.c
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.c
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.c
2012-05-13 12:10:41 UTC (rev 21460)
@@ -0,0 +1,32 @@
+#include <stdio.h>
+#include <string.h>
+
+
+struct CrashStruct {
+ const char *crashValue;
+};
+
+void crashFunction()
+{
+ struct CrashStruct *crashStruct;
+ int a;
+ int b;
+ int c;
+ a = 3;
+ b = 5;
+ c = a + b;
+ crashStruct = NULL;
+ printf("Now the program will crash!\n");
+ crashStruct->crashValue = "hello!";
+}
+
+void intermediateFunction()
+{
+ crashFunction();
+}
+
+int main(int argc, char *argv[])
+{
+ intermediateFunction();
+ return 0;
+}
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.c
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Added:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.db
===================================================================
(Binary files differ)
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/bug_null_pointer_exception_modified.db
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/edb_api.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/edb_api.c
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/edb_api.c
2012-05-13 12:10:41 UTC (rev 21460)
@@ -217,7 +217,7 @@
char *query;
if (MONKEY_asprintf
(&query,
- "select expr_syntax, start_lineno, is_call from Expression where
file_name LIKE \'%%/%s\' and start_lineno <= %d and end_lineno <= %d",
+ "select expr_syntax, start_lineno, is_call from Expression where
file_name LIKE \'%%/%s\' and start_lineno >= %d and end_lineno <= %d",
file_name, start_line_no, end_line_no) == -1)
{
fprintf(stderr,
Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey.c
2012-05-13 12:10:41 UTC (rev 21460)
@@ -34,6 +34,7 @@
static char *mode = NULL;
static char *dumpFileName = NULL;
static char *binaryName = NULL;
+static const char *binaryArgs = NULL;
static char *emailAddress = NULL;
static char *edbFilePath = NULL;
static char *gdbBinaryPath = NULL;
@@ -89,6 +90,7 @@
/* Initialize context for the Action API */
cntxt = MONKEY_malloc (sizeof (struct MONKEY_ACTION_Context));
cntxt->binary_name = binaryName;
+ cntxt->binaryArgs = binaryArgs;
cntxt->expression_database_path = edbFilePath;
cntxt->gdb_binary_path = gdbBinaryPath;
cntxt->valgrind_binary_path = valgrindBinaryPath;
@@ -224,6 +226,35 @@
return MONKEY_OK;
}
+
+void checkRequiredArgs()
+{
+ if (NULL == binaryName)
+ printf("Error: missing argument: path to the binary file.\n");
+ if (NULL == edbFilePath)
+ printf("Error: missing argument: path to expression database
file.\n");
+ if (NULL == mode)
+ printf("Error: missing argument: mode of operation.\n");
+ if (NULL == binaryName || NULL == edbFilePath || NULL == mode) {
+ showHelp();
+ exit(EXIT_FAILURE);
+ }
+}
+
+
+const char * buildBinaryArgs(int argc, const char **argv) {
+ char * res = MONKEY_strdup("");
+ char * tmp;
+ int i;
+ for (i = 0; i < argc; i++) {
+ MONKEY_asprintf(&tmp, "%s %s", res, argv[i]);
+ MONKEY_free(res);
+ res = tmp;
+ }
+
+ return res;
+}
+
int
main (int argc, char *argv[])
{
@@ -247,6 +278,10 @@
if (strcmp("-b", argv[i]) == 0) {
binaryCheck = MONKEY_OK;
binaryName = MONKEY_strdup(argv[++i]);
+ checkRequiredArgs();
+ /* All remaining args are considered program arguments
*/
+ binaryArgs = buildBinaryArgs(argc - (i + 1),
&argv[++i]);
+ break;
}
else if (strcmp("-d", argv[i]) == 0) {
databaseCheck = MONKEY_OK;
@@ -281,16 +316,6 @@
reverseExecutionAllowed = MONKEY_YES;
}
}
- if (MONKEY_NO == binaryCheck)
- printf("Error: missing argument: path to the binary file.\n");
- if (MONKEY_NO == databaseCheck)
- printf("Error: missing argument: path to expression database
file.\n");
- if (MONKEY_NO == modeCheck)
- printf("Error: missing argument: mode of operation.\n");
- if (MONKEY_NO == binaryCheck || MONKEY_NO == databaseCheck ||
MONKEY_NO == modeCheck) {
- showHelp();
- return 1;
- }
/* Run Monkey */
run();
Modified: monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey_action.h
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey_action.h
2012-05-13 12:00:08 UTC (rev 21459)
+++ monkey/branches/MonkeyBacktracking/monkey/src/monkey/monkey_action.h
2012-05-13 12:10:41 UTC (rev 21460)
@@ -30,6 +30,7 @@
#define BUG_ABORT 7
#define BUG_ARITHMETIC 8
#define BUG_BAD_MEM_ACCESS 9
+#define GDB_MI_ASYNC_WAIT 5
/**
* Context for the Action API
@@ -37,6 +38,7 @@
struct MONKEY_ACTION_Context
{
const char *binary_name;
+ const char *binaryArgs;
const char *email_address;
const char *expression_database_path;
const char *gdb_binary_path;
Added:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/SeaspiderFatJar.jar
===================================================================
(Binary files differ)
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/src/monkey/seaspider/SeaspiderFatJar.jar
___________________________________________________________________
Added: svn:mime-type
+ application/octet-stream
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] r21460 - in monkey/branches/MonkeyBacktracking/monkey: . src/monkey src/monkey/seaspider,
gnunet <=