[Top][All Lists]
[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[GNUnet-SVN] r23033 - in monkey/branches/MonkeyBacktracking/monkey: . re
From: |
gnunet |
Subject: |
[GNUnet-SVN] r23033 - in monkey/branches/MonkeyBacktracking/monkey: . refs/reports src/include src/mi src/pathologist |
Date: |
Wed, 1 Aug 2012 17:06:56 +0200 |
Author: safey
Date: 2012-08-01 17:06:56 +0200 (Wed, 01 Aug 2012)
New Revision: 23033
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
Removed:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1.xml
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
Modified:
monkey/branches/MonkeyBacktracking/monkey/Makefile.am
monkey/branches/MonkeyBacktracking/monkey/configure.ac
monkey/branches/MonkeyBacktracking/monkey/src/include/gdbmi.h
monkey/branches/MonkeyBacktracking/monkey/src/mi/gdbmi_prg_control.c
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/action_api.c
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/pathologist.c
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/test_pathologist.c
Log:
Test. More logging. gdbmi connectivity.
Modified: monkey/branches/MonkeyBacktracking/monkey/Makefile.am
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/Makefile.am 2012-08-01
15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/Makefile.am 2012-08-01
15:06:56 UTC (rev 23033)
@@ -2,7 +2,10 @@
SUBDIRS = src refs/src
-EXTRA_DIST = config.rpath \
- install-sh
+EXTRA_DIST = \
+ ABOUT-NLS \
+ config.rpath \
+ install-sh \
+ acinclude.m4
ACLOCAL_AMFLAGS = -I m4
Modified: monkey/branches/MonkeyBacktracking/monkey/configure.ac
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/configure.ac 2012-08-01
15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/configure.ac 2012-08-01
15:06:56 UTC (rev 23033)
@@ -204,7 +204,6 @@
AM_CONDITIONAL([ENABLE_TEST_RUN], [test "x$enable_tests_run" = "xyes"])
-
AC_DEFINE_DIR([PACKAGE_DATA], [datarootdir], [The directory for installing
read-only architecture-independent data])
# Set PACKAGE_SOURCE_DIR in gnunet_gtk_config.h.
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,75 +0,0 @@
-<?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>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+-1073744280</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_assertion_failure_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -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/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,103 @@
+<?xml version="1.0"?>
+<crash category="Bad memory access" function="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" >
+<valgrind>==11279== Memcheck, a memory error detector
+==11279== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
+==11279== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
+==11279== Command: ../../refs/src/bug_bad_memory_access
+==11279== Parent PID: 11278
+==11279==
+==11279== Invalid write of size 4
+==11279== at 0x80483D0: badMemoryAccess (bug_bad_memory_access.c:9)
+==11279== by 0x80483E2: main (bug_bad_memory_access.c:14)
+==11279== Address 0x4252352 is not stack'd, malloc'd or (recently)
free'd
+==11279==
+==11279==
+==11279== Process terminating with default action of signal 11 (SIGSEGV)
+==11279== Access not within mapped region at address 0x4252352
+==11279== at 0x80483D0: badMemoryAccess (bug_bad_memory_access.c:9)
+==11279== by 0x80483E2: main (bug_bad_memory_access.c:14)
+==11279== If you believe this happened as a result of a stack
+==11279== overflow in your program's main thread (unlikely but
+==11279== possible), you can try to increase the size of the
+==11279== main thread stack using the --main-stacksize= flag.
+==11279== The main thread stack size used in this run was 16777216.
+==11279==
+==11279== HEAP SUMMARY:
+==11279== in use at exit: 0 bytes in 0 blocks
+==11279== total heap usage: 0 allocs, 0 frees, 0 bytes allocated
+==11279==
+==11279== All heap blocks were freed -- no leaks are possible
+==11279==
+==11279== For counts of detected and suppressed errors, rerun with: -v
+==11279== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 11 from
6)</valgrind>
+<history><epoch step="0" >
+<trace><function name="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_bad_memory_access_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,214 +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>
-<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>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,264 @@
+<?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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<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" >
+0xbffff714</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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+10</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" >
+-1</expression>
+<expression name="argv" >
+0xbffff714</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="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" >
+0xbffff714</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" >
+0xbffff714</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="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" >
+0xbffff714</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="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" >
+0xbffff714</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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+-10</expression>
+<expression name="i<5" >
+0</expression>
+<expression name="i" >
+1075392500</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" >
+0xbffff714</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("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+-10</expression>
+<expression name="i<5" >
+0</expression>
+<expression name="i" >
+1075392500</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" >
+0xbffff714</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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+-1073801840</expression>
+<expression name="i<5" >
+0</expression>
+<expression name="i" >
+1075392500</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+1073801840</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0xbffff714</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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<expression name="result/k" >
+7</expression>
+<expression name="i<5" >
+0</expression>
+<expression name="i" >
+1075392500</expression>
+<expression name="printf("I am alive!\n")" >
+Not Evaluated</expression>
+<expression name="result" >
+1073801840</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+134513787</expression>
+<expression name="argv" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -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/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -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" >
+0</expression>
+<expression name="i" >
+1075392500</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" >
+0xbffff714</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" >
+1073801840</expression>
+<expression name="-1" >
+-1</expression>
+<expression name="k" >
+-1</expression>
+<expression name="argv" >
+0xbffff714</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" >
+134513787</expression>
+<expression name="argv" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,207 +0,0 @@
-<?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>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,197 @@
+<?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" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+0x0</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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" >
+0x0</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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="NULL" >
+0x0</expression>
+<expression name="crashStruct" >
+0x40192ff4</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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="a+b" >
+8</expression>
+<expression name="c" >
+134520820</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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" >
+-1073744312</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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" >
+134513721</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</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" >
+0xbffff6f4</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_modified_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,83 +0,0 @@
-<?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>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,79 @@
+<?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" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+0x0</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0x0</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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="NULL" >
+0x0</expression>
+<expression name="crashStruct" >
+0xbffff668</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bt_bug_null_pointer_exception_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,27 +0,0 @@
-<?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>
-</history>
-</crash>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,27 @@
+<?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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_assertion_failure_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,57 +0,0 @@
-<?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>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,55 @@
+<?xml version="1.0"?>
+<crash category="Bad memory access" function="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" >
+<valgrind>==10753== Memcheck, a memory error detector
+==10753== Copyright (C) 2002-2010, and GNU GPL'd, by Julian Seward et al.
+==10753== Using Valgrind-3.6.1 and LibVEX; rerun with -h for copyright info
+==10753== Command: ../../refs/src/bug_bad_memory_access
+==10753== Parent PID: 10752
+==10753==
+==10753== Invalid write of size 4
+==10753== at 0x80483D0: badMemoryAccess (bug_bad_memory_access.c:9)
+==10753== by 0x80483E2: main (bug_bad_memory_access.c:14)
+==10753== Address 0x4252352 is not stack'd, malloc'd or (recently)
free'd
+==10753==
+==10753==
+==10753== Process terminating with default action of signal 11 (SIGSEGV)
+==10753== Access not within mapped region at address 0x4252352
+==10753== at 0x80483D0: badMemoryAccess (bug_bad_memory_access.c:9)
+==10753== by 0x80483E2: main (bug_bad_memory_access.c:14)
+==10753== If you believe this happened as a result of a stack
+==10753== overflow in your program's main thread (unlikely but
+==10753== possible), you can try to increase the size of the
+==10753== main thread stack using the --main-stacksize= flag.
+==10753== The main thread stack size used in this run was 16777216.
+==10753==
+==10753== HEAP SUMMARY:
+==10753== in use at exit: 0 bytes in 0 blocks
+==10753== total heap usage: 0 allocs, 0 frees, 0 bytes allocated
+==10753==
+==10753== All heap blocks were freed -- no leaks are possible
+==10753==
+==10753== For counts of detected and suppressed errors, rerun with: -v
+==10753== ERROR SUMMARY: 1 errors from 1 contexts (suppressed: 11 from
6)</valgrind>
+<history><epoch step="0" >
+<trace><function name="badMemoryAccess" line="9"
file="bug_bad_memory_access.c" depth="0" >
+<expressions><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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_bad_memory_access_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,28 +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>
-<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>
Copied:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1_rpt.xml
(from rev 22970,
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1.xml)
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_division_by_zero_loop_depth_1_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,30 @@
+<?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="printf("result = %d\n",result)" >
+Not Evaluated</expression>
+<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/refs/reports/ref_bug_division_by_zero_loop_depth_1_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Deleted:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,29 +0,0 @@
-<?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>
-</history>
-</crash>
Added:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
(rev 0)
+++
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
2012-08-01 15:06:56 UTC (rev 23033)
@@ -0,0 +1,27 @@
+<?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" >
+Not Evaluated</expression>
+<expression name="printf("Now the program will crash!\n")" >
+Not Evaluated</expression>
+<expression name="NULL" >
+0x0</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" >
+0xbffff714</expression>
+<expression name="argc" >
+1</expression>
+</expressions>
+</function>
+</trace>
+</epoch>
+</history>
+</crash>
Property changes on:
monkey/branches/MonkeyBacktracking/monkey/refs/reports/ref_bug_null_pointer_exception_rpt.xml
___________________________________________________________________
Added: svn:mime-type
+ text/plain
Modified: monkey/branches/MonkeyBacktracking/monkey/src/include/gdbmi.h
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/include/gdbmi.h
2012-08-01 15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/src/include/gdbmi.h
2012-08-01 15:06:56 UTC (rev 23033)
@@ -573,6 +573,8 @@
int gmi_exec_next(mi_h *h);
/* Start recording a process */
int gmi_exec_record_process(mi_h *h);
+/* Stop recording a process */
+int gmi_exec_record_stop(mi_h *h);
/* Next count lines of code. */
int gmi_exec_next_cnt(mi_h *h, int count);
/* Next line of assembler code. */
Modified: monkey/branches/MonkeyBacktracking/monkey/src/mi/gdbmi_prg_control.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/mi/gdbmi_prg_control.c
2012-08-01 15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/src/mi/gdbmi_prg_control.c
2012-08-01 15:06:56 UTC (rev 23033)
@@ -129,6 +129,11 @@
mi_send(h, "-interpreter-exec mi record\n");
}
+void mi_exec_record_stop(mi_h *h)
+{
+mi_send(h, "-interpreter-exec mi record stop\n");
+}
+
void mi_exec_next(mi_h *h, int count)
{
if (count>1)
@@ -384,7 +389,7 @@
Description:
Start recording a process
- Command: -interpreter-exec console record
+ Command: -interpreter-exec mi record
Return: !=0 OK
***************************************************************************/
@@ -397,6 +402,21 @@
/**[txh]********************************************************************
Description:
+ Start recording a process
+
+ Command: -interpreter-exec mi record stop
+ Return: !=0 OK
+
+***************************************************************************/
+int gmi_exec_record_stop(mi_h *h)
+{
+ mi_exec_record_stop(h);
+ return 1;
+}
+
+/**[txh]********************************************************************
+
+ Description:
Skip count lines of code.
Command: -exec-next count
Modified: monkey/branches/MonkeyBacktracking/monkey/src/pathologist/action_api.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/pathologist/action_api.c
2012-08-01 15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/src/pathologist/action_api.c
2012-08-01 15:06:56 UTC (rev 23033)
@@ -207,8 +207,10 @@
}
}
- if (NULL == cntxt->gdb_frames)
- MONKEY_break(0); // Something really bad happened.
Abort!
+ if (NULL == cntxt->gdb_frames) {
+ fprintf(stderr, "Cannot get stack frames from gdb.\n");
// Something really bad happened. Abort!
+ return GDB_STATE_ERROR;
+ }
/* Change current GDB frame to the one containing source code */
gmi_stack_select_frame(cntxt->gdb_handle,
@@ -236,8 +238,15 @@
{
FILE *f;
f = MONKEY_XML_WRITER_create_document(dumpFileName);
+ if (NULL == f) {
+ fprintf(stderr, "Error: pathologist was not able to create
report file.\n");
+ return MONKEY_NO;
+ }
MONKEY_XML_WRITER_write_document(f, cntxt->xml_report_node);
- fclose(f);
+ if (0 != fclose(f)) {
+ fprintf(stderr, "Error: pathologist could not close report
file.\n");
+ return MONKEY_NO;
+ }
return MONKEY_OK;
}
@@ -792,6 +801,8 @@
&& (strcmp(failureFunction, tracePtr->functionListHead->name)
== 0));
+ // stop recording and return
+ gmi_exec_record_stop(cntxt->gdb_handle);
return MONKEY_OK;
}
@@ -859,10 +870,10 @@
/* Connect to gdb child. */
cntxt->gdb_handle = mi_connect_local();
if (!cntxt->gdb_handle) {
- printf("Connect failed\n");
- return MONKEY_NO;
+ fprintf(stderr, "Error: failed to connect to gdb!\n");
+ return MONKEY_NO;
}
- printf("Connected to gdb!\n");
+ fprintf(stderr, "Info: Connected to gdb!\n");
cntxt->gdb_connected = MONKEY_YES;
/* Set all callbacks. */
@@ -875,84 +886,85 @@
/* Set the name of the child and the command line arguments. */
if (!gmi_set_exec(cntxt->gdb_handle, cntxt->binary_name,
cntxt->binaryArgs)) {
- printf("Error setting exec y args\n");
- if (MONKEY_YES == cntxt->gdb_connected) {
- mi_disconnect(cntxt->gdb_handle);
- cntxt->gdb_connected = MONKEY_NO;
- }
- return MONKEY_NO;
+ fprintf(stderr, "Error: could not set gdb exec y args\n");
+ if (MONKEY_YES == cntxt->gdb_connected) {
+ mi_disconnect(cntxt->gdb_handle);
+ cntxt->gdb_connected = MONKEY_NO;
+ }
+ return MONKEY_NO;
}
/* Tell gdb to attach the child to a terminal. */
if (!gmi_target_terminal(cntxt->gdb_handle, ttyname(STDIN_FILENO))) {
- printf("Error selecting target terminal\n");
- if (MONKEY_YES == cntxt->gdb_connected) {
- mi_disconnect(cntxt->gdb_handle);
- cntxt->gdb_connected = MONKEY_NO;
- }
- return MONKEY_NO;
+ fprintf(stderr, "Error: could not select gdb target
terminal\n");
+ if (MONKEY_YES == cntxt->gdb_connected) {
+ mi_disconnect(cntxt->gdb_handle);
+ cntxt->gdb_connected = MONKEY_NO;
+ }
+ return MONKEY_NO;
}
if (MONKEY_YES == cntxt->run_reverse) {
- /* If Backtracking is enabled, we must set a breakpoint at the main
function, starting the program, then starting recording */
- mi_bkpt *bp =
- gmi_break_insert_full(cntxt->gdb_handle, 0, 0, NULL, -1, -1,
- "main");
- if (NULL == bp) {
- printf("Error setting breakpoint at function:%s\n",
- cntxt->inspect_function);
- if (MONKEY_YES == cntxt->gdb_connected) {
- mi_disconnect(cntxt->gdb_handle);
- cntxt->gdb_connected = MONKEY_NO;
+ /* If Backtracking is enabled, we must set a breakpoint at the
main function, starting the program, then starting recording */
+ mi_bkpt *bp =
+ gmi_break_insert_full(cntxt->gdb_handle, 0, 0, NULL,
-1, -1,
+ "main");
+ if (NULL == bp) {
+ fprintf(stderr, "Error: gdb could not set a breakpoint
at function:%s\n",
+ cntxt->inspect_function);
+ if (MONKEY_YES == cntxt->gdb_connected) {
+ mi_disconnect(cntxt->gdb_handle);
+ cntxt->gdb_connected = MONKEY_NO;
+ }
+ return MONKEY_NO;
}
- return MONKEY_NO;
- }
- mi_free_bkpt(bp);
+ mi_free_bkpt(bp);
}
if ((NULL != cntxt->inspect_expression)
&& (NULL != cntxt->inspect_function)) {
- /* Setting a breakpoint at the function containing the expression to
inspect */
- mi_bkpt *bp =
- gmi_break_insert_full(cntxt->gdb_handle, 0, 0, NULL, -1, -1,
- cntxt->inspect_function);
- if (NULL == bp) {
- printf("Error setting breakpoint at function:%s\n",
- cntxt->inspect_function);
- if (MONKEY_YES == cntxt->gdb_connected) {
- mi_disconnect(cntxt->gdb_handle);
- cntxt->gdb_connected = MONKEY_NO;
- }
- return MONKEY_NO;
- }
- mi_free_bkpt(bp);
+ /* Setting a breakpoint at the function containing the
expression to inspect */
+ mi_bkpt *bp =
+ gmi_break_insert_full(cntxt->gdb_handle, 0, 0, NULL,
-1, -1,
+ cntxt->inspect_function);
+ if (NULL == bp) {
+ fprintf(stderr, "Error: gdb could not set a breakpoint
at function:%s\n",
+ cntxt->inspect_function);
+ if (MONKEY_YES == cntxt->gdb_connected) {
+ mi_disconnect(cntxt->gdb_handle);
+ cntxt->gdb_connected = MONKEY_NO;
+ }
+ return MONKEY_NO;
+ }
+ mi_free_bkpt(bp);
}
/* Prepare a list of the file names for the source files we are analyzing
*/
edbCntxt = MONKEY_EDB_connect(cntxt->expression_database_path);
if (NULL == edbCntxt) {
- fprintf(stderr,
- "Unable to connect to Expression Database file!\n");
- return MONKEY_NO;
+ fprintf(stderr,
+ "Unable to connect to Expression Database file!\n");
+ return MONKEY_NO;
}
if (MONKEY_OK != MONKEY_EDB_get_file_names(edbCntxt,
&iterateFileNames, NULL)) {
- fprintf(stderr, "Error in executing Database query!\n");
+ fprintf(stderr, "Error: Pathologist could not retrieve source file
names from expression database!\n");
+ return MONKEY_NO;
}
MONKEY_EDB_disconnect(edbCntxt);
/* Run the program. */
if (!gmi_exec_run(cntxt->gdb_handle)) {
- printf("Error in run!\n");
- if (MONKEY_YES == cntxt->gdb_connected) {
- mi_disconnect(cntxt->gdb_handle);
- cntxt->gdb_connected = MONKEY_NO;
- }
- return MONKEY_NO;
+ fprintf(stderr, "Error: gdb could not run the target
program!\n");
+ if (MONKEY_YES == cntxt->gdb_connected) {
+ mi_disconnect(cntxt->gdb_handle);
+ cntxt->gdb_connected = MONKEY_NO;
+ }
+ return MONKEY_NO;
}
/* Backtracking is issued after running the program */
Modified:
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/pathologist.c
===================================================================
--- monkey/branches/MonkeyBacktracking/monkey/src/pathologist/pathologist.c
2012-08-01 15:03:57 UTC (rev 23032)
+++ monkey/branches/MonkeyBacktracking/monkey/src/pathologist/pathologist.c
2012-08-01 15:06:56 UTC (rev 23033)
@@ -108,11 +108,10 @@
{
int retVal;
case MONKEY_NO:
- fprintf (stderr, "Error in using gdb. Pathologist will exit now!");
+ case GDB_STATE_ERROR:
+ fprintf (stderr, "Error in using gdb. Pathologist will exit now!\n");
ret = 1;
break;
- case GDB_STATE_ERROR:
- break;
case GDB_STATE_EXIT_NORMALLY:
fprintf (stderr,
"Debug with gdb, program exited normally!\n");
@@ -261,37 +260,31 @@
main (int argc, char *argv[])
{
int i;
- int binaryCheck = MONKEY_NO;
- int databaseCheck = MONKEY_NO;
- int modeCheck = MONKEY_NO;
+
if (argc < MIN_ARG_REQUIRED)
{
- printf ("%s",
+ fprintf (stderr,
"Pathologist should take arguments: Use -h to get a list
of options.\n");
return 1;
}
/* Parsing arguments */
- for (i = 0; i < argc; i++) {
+ for (i = 1; i < argc; i++) {
if (strcmp("-h", argv[i]) == 0) {
showHelp();
freePathologistArgs();
return 1;
}
if (strcmp("-b", argv[i]) == 0) {
- binaryCheck = MONKEY_OK;
binaryName = MONKEY_strdup(argv[++i]);
- checkRequiredArgs();
/* All remaining args are considered program arguments
*/
i++;
binaryArgs = buildBinaryArgs(argc - i, &argv[i]);
break;
}
else if (strcmp("-d", argv[i]) == 0) {
- databaseCheck = MONKEY_OK;
edbFilePath = MONKEY_strdup(argv[++i]);
}
else if (strcmp("-m", argv[i]) == 0) {
- modeCheck = MONKEY_OK;
mode = MONKEY_strdup(argv[++i]);
}
else if (strcmp("-o", argv[i]) == 0) {
@@ -317,9 +310,16 @@
}
else if (strcmp("-r", argv[i]) == 0) {
reverseExecutionAllowed = MONKEY_YES;
+ } else {
+ fprintf(stderr, "Unknown argument %s\n", argv[i]);
+ showHelp();
+ freePathologistArgs();
+ return 1;
}
}
+ checkRequiredArgs();
+
/* Run Pathologist */
run();
Modified:
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/test_pathologist.c
===================================================================
---
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/test_pathologist.c
2012-08-01 15:03:57 UTC (rev 23032)
+++
monkey/branches/MonkeyBacktracking/monkey/src/pathologist/test_pathologist.c
2012-08-01 15:06:56 UTC (rev 23033)
@@ -1,3 +1,4 @@
+#define _GNU_SOURCE
#include <stdio.h>
#include <stdlib.h>
#include <string.h>
@@ -3,6 +4,10 @@
#include "mxml.h"
-int OK = 0;
-int NO = 1;
+#undef DEBUG_ENABLED
+static int OK = 0;
+static int NO = 1;
+static char *reportPath = "../../refs/reports";
+static char *dbPath = "../../refs/db";
+static char *binPath = "../../refs/src";
int compareReports(const char *refFileName, const char *testFileName) {
@@ -25,11 +30,11 @@
refFilePtr = fopen(refFileName, "r");
testFilePtr = fopen(testFileName, "r");
if (NULL == refFilePtr) {
- fprintf(stderr, "Test failed: cannot locate reference
report.\n");
+ fprintf(stderr, "Test failed: cannot locate reference report:
%s.\n", strerror(errno));
return NO;
}
if (NULL == testFilePtr) {
- fprintf(stderr, "Test failed: cannot locate test report.\n");
+ fprintf(stderr, "Test failed: cannot locate test report:
%s.\n", strerror(errno));
return NO;
}
@@ -72,8 +77,8 @@
fprintf(stderr, "Test failed: wrong tag, <valgrind>
expected.\n");
return NO;
}
- refNode = mxmlWalkNext(refNode, refTree, MXML_DESCEND); // move
to <history>
- testNode = mxmlWalkNext(testNode, testTree, MXML_DESCEND);
+ refNode = mxmlFindElement(refNode, refTree, "history", NULL,
NULL, MXML_DESCEND); // move to <history>
+ testNode = mxmlFindElement(testNode, testTree, "history", NULL,
NULL, MXML_DESCEND);
} else if (0 == strcmp(mxmlGetElement(refNode), "history")) {
if (0 != strcmp(mxmlGetElement(testNode), "history")) {
fprintf(stderr, "Test failed: wrong tag, <history>
expected.\n");
@@ -148,8 +153,22 @@
// different pointer values are accepted
if (!(refExpressionValue[0] == '0' &&
refExpressionValue[1] == 'x'
&&
testExpressionValue[0] == '0' && testExpressionValue[1] == 'x')) {
- fprintf(stderr, "Test failed:
expression value mismatch.\n");
- return NO;
+ if ((strlen(refExpressionValue)
>= 5) || (strlen(testExpressionValue) >= 5)) {
+ // different numeric
values longer than 5 digits are accepted (such values are considered garbage in
uninitialized variables)
+ char *endPtr = NULL;
+ long refIntVal;
+ long testIntVal;
+ refIntVal =
strtol(refExpressionValue, &endPtr, 0); // testing whether the values are
numeric
+ testIntVal =
strtol(testExpressionValue, &endPtr, 0);
+ if ((0 == refIntVal ||
0 == testIntVal) && (ERANGE == errno || EINVAL == errno)) {
+ fprintf(stderr,
"Test failed: expression value mismatch.\n");
+ return NO;
+ }
+ } else {
+ // not pointers and not
5+ digits numbers, then mismatch
+ fprintf(stderr, "Test
failed: expression value mismatch.\n");
+ return NO;
+ }
}
}
@@ -157,8 +176,7 @@
refExpressionNode =
mxmlGetNextSibling(mxmlGetNextSibling(refExpressionNode));
testExpressionNode =
mxmlGetNextSibling(mxmlGetNextSibling(testExpressionNode));
}
- if ((NULL == refExpressionNode && NULL !=
testExpressionNode) ||
- (NULL == testExpressionNode && NULL !=
refExpressionNode)) {
+ if (NULL != refExpressionNode || NULL !=
testExpressionNode) {
fprintf(stderr, "Test failed: expression
mismatch.\n");
return NO;
}
@@ -167,8 +185,7 @@
refFunctionNode =
mxmlGetNextSibling(mxmlGetNextSibling(refFunctionNode));
testFunctionNode =
mxmlGetNextSibling(mxmlGetNextSibling(testFunctionNode));
}
- if ((NULL == refFunctionNode && NULL != testFunctionNode) ||
- (NULL == testFunctionNode && NULL !=
refFunctionNode)) {
+ if (NULL != refFunctionNode || NULL != testFunctionNode) {
fprintf(stderr, "Test failed: function mismatch.\n");
return NO;
}
@@ -177,8 +194,7 @@
refEpochNode =
mxmlGetNextSibling(mxmlGetNextSibling(refEpochNode));
testEpochNode =
mxmlGetNextSibling(mxmlGetNextSibling(testEpochNode));
}
- if ((NULL == refEpochNode && NULL != testEpochNode) ||
- (NULL == testEpochNode && NULL != refEpochNode)) {
+ if (NULL != refEpochNode || NULL != testEpochNode) {
fprintf(stderr, "Test failed: epoch steps mismatch.\n");
return NO;
}
@@ -188,24 +204,186 @@
return OK;
}
+
+int runTest(const char *refReportName, const char *testReportName,
+ const char *dbName, const char *binaryName, char *commandStr) {
+ FILE *pathologistPipe;
+ char *refReportPath;
+ char *testReportPath;
+ char *dbFilePath;
+ char *binFilePath;
+ char *command;
+ int ret = OK;
+
+ asprintf(&testReportPath, "%s/%s", reportPath, testReportName);
+ asprintf(&dbFilePath, "%s/%s", dbPath, dbName);
+ asprintf(&binFilePath, "%s/%s", binPath, binaryName);
+ asprintf(&command, commandStr, dbFilePath, testReportPath, binFilePath);
+ asprintf(&refReportPath, "%s/%s", reportPath, refReportName);
+
+ // run Monkey pathologist
+ pathologistPipe = popen(command, "r");
+#ifdef DEBUG_ENABLED
+ fprintf(stderr, "Running command: %s\n", command);
+#endif
+ if (NULL == pathologistPipe) {
+ fprintf(stderr, "Fatal error: unable to run Monkey
pathologist.\n");
+ ret = NO;
+ }
+ else {
+ char buffer[128];
+ while(!feof(pathologistPipe)) {
+ if(fgets(buffer, 128, pathologistPipe) != NULL) {
+#ifdef DEBUG_ENABLED
+ fputs(buffer, stdout);
+#endif
+ }
+ }
+ pclose(pathologistPipe);
+ // compare results with ref
+ if (NO == compareReports(refReportPath, testReportPath)) {
+ ret = NO;
+ } else {
+ // test passed, delete test report
+ if (0 != remove(testReportPath)) {
+ fprintf(stderr, "Warning: could not remove test
file %s\n", testReportPath);
+ }
+ }
+ }
+
+ free(refReportPath); free(command); free(binFilePath);
free(dbFilePath); free(testReportPath);
+ return ret;
+}
+
int main() {
int ret = OK;
- FILE *pathologistPipe;
+ char *commandStr = "pathologist -m text -d %s -o %s -b %s";
+ char *commandStrReverse = "pathologist -m text -d %s -o %s -r -b %s";
+ char *commandStrDepthOne = "pathologist -m text -d %s -o %s -p 1 -b %s";
+ char *commandStrDepthOneReverse = "pathologist -m text -d %s -o %s -p 1
-r -b %s";
+
fprintf(stderr, "Testing Monkey Pathologist...\n");
- printf("Testing Monkey Pathologist...\n");
// Bug Null Pointer Exception
fprintf(stderr, "Testing bug null pointer exception...\n");
- pathologistPipe = popen("pathologist -m text -d
refs/db/bug_null_pointer_exception.db "
- "-o refs/reports/test_bug_null_pointer_exception.xml -b
refs/src/bug_null_pointer_exception", "r");
- if (NULL == pathologistPipe) {
- fprintf(stderr, "Fatal error: unable to run Monkey
pathologist.\n");
- return NO;
+ if (NO == runTest("ref_bug_null_pointer_exception_rpt.xml",
+ "test_bug_null_pointer_exception.xml",
"bug_null_pointer_exception.db",
+ "bug_null_pointer_exception", commandStr)) {
+ ret = NO;
+ fprintf(stderr, "Test bug null pointer exception: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug null pointer exception: PASSED\n");
}
- pclose(pathologistPipe);
- if (NO == compareReports("refs/bug_null_pointer_exception_rpt.xml",
"refs/bug_null_pointer_exception.xml")) {
+
+ // Bug Null Pointer Exception with backtracking
+ fprintf(stderr, "Testing bug null pointer exception with
backtracking...\n");
+ if (NO == runTest("ref_bt_bug_null_pointer_exception_rpt.xml",
+ "test_bt_bug_null_pointer_exception.xml",
"bug_null_pointer_exception.db",
+ "bug_null_pointer_exception", commandStrReverse)) {
ret = NO;
+ fprintf(stderr, "Test bug null pointer exception with
backtracking: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug null pointer exception with
backtracking: PASSED\n");
}
+ // Bug Null Pointer Exception modified with backtracking
+ fprintf(stderr, "Testing bug null pointer exception modified with
backtracking...\n");
+ if (NO == runTest("ref_bt_bug_null_pointer_exception_modified_rpt.xml",
+ "test_bt_bug_null_pointer_exception_modified.xml",
"bug_null_pointer_exception_modified.db",
+ "bug_null_pointer_exception_modified",
commandStrReverse)) {
+ ret = NO;
+ fprintf(stderr, "Test bug null pointer exception modified with
backtracking: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug null pointer exception modified with
backtracking: PASSED\n");
+ }
+
+ // Bug Bad Memory Access
+ fprintf(stderr, "Testing bug bad memory access...\n");
+ if (NO == runTest("ref_bug_bad_memory_access_rpt.xml",
+ "test_bug_bad_memory_access.xml",
"bug_bad_memory_access.db",
+ "bug_bad_memory_access", commandStr)) {
+ ret = NO;
+ fprintf(stderr, "Test bug bad memory access: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug bad memory access: PASSED\n");
+ }
+
+ // Bug Bad Memory Access with backtracking
+ fprintf(stderr, "Testing bug bad memory access with backtracking...\n");
+ if (NO == runTest("ref_bt_bug_bad_memory_access_rpt.xml",
+ "test_bt_bug_bad_memory_access.xml",
"bug_bad_memory_access.db",
+ "bug_bad_memory_access", commandStrReverse)) {
+ ret = NO;
+ fprintf(stderr, "Test bug bad memory access with backtracking:
FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug bad memory access with backtracking:
PASSED\n");
+ }
+
+ // Bug Assertion Failure
+ fprintf(stderr, "Testing bug assertion failure...\n");
+ if (NO == runTest("ref_bug_assertion_failure_rpt.xml",
+ "test_bug_assertion_failure.xml",
"bug_assertion_failure.db",
+ "bug_assertion_failure", commandStr)) {
+ ret = NO;
+ fprintf(stderr, "Test bug assertion failure: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug assertion failure: PASSED\n");
+ }
+
+ // Bug Assertion Failure with backtracking
+ fprintf(stderr, "Testing bug assertion failure with backtracking...\n");
+ if (NO == runTest("ref_bt_bug_assertion_failure_rpt.xml",
+ "test_bt_bug_assertion_failure.xml",
"bug_assertion_failure.db",
+ "bug_assertion_failure", commandStrReverse)) {
+ ret = NO;
+ fprintf(stderr, "Test bug assertion failure with backtracking:
FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug assertion failure with backtracking:
PASSED\n");
+ }
+
+ // Bug Division By Zero Loop no depth
+ fprintf(stderr, "Testing bug division by zero loop no depth...\n");
+ if (NO == runTest("ref_bug_division_by_zero_loop_nodepth_rpt.xml",
+ "test_bug_division_by_zero_nodepth.xml",
"bug_division_by_zero_loop.db",
+ "bug_division_by_zero_loop", commandStr)) {
+ ret = NO;
+ fprintf(stderr, "Test bug division by zero loop with no depth:
FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug division by zero loop with no depth:
PASSED\n");
+ }
+
+ // Bug Division By Zero Loop no depth with backtracking
+ fprintf(stderr, "Testing bug division by zero loop no depth with
backtracking...\n");
+ if (NO == runTest("ref_bt_bug_division_by_zero_loop_nodepth_rpt.xml",
+ "test_bt_bug_division_by_zero_nodepth.xml",
"bug_division_by_zero_loop.db",
+ "bug_division_by_zero_loop", commandStrReverse)) {
+ ret = NO;
+ fprintf(stderr, "Test bug division by zero loop with no depth
with backtracking: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug division by zero loop with no depth
with backtracking: PASSED\n");
+ }
+
+ // Bug Division By Zero Loop depth 1
+ fprintf(stderr, "Testing bug division by zero loop depth 1...\n");
+ if (NO == runTest("ref_bug_division_by_zero_loop_depth_1_rpt.xml",
+ "test_bug_division_by_zero_depth_1.xml",
"bug_division_by_zero_loop.db",
+ "bug_division_by_zero_loop", commandStrDepthOne)) {
+ ret = NO;
+ fprintf(stderr, "Test bug division by zero loop with depth 1:
FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug division by zero loop with depth 1:
PASSED\n");
+ }
+
+ // Bug Division By Zero Loop depth 1 with backtracking
+ fprintf(stderr, "Testing bug division by zero loop depth 1 with
backtracking...\n");
+ if (NO == runTest("ref_bt_bug_division_by_zero_loop_depth_1_rpt.xml",
+ "test_bt_bug_division_by_zero_depth_1.xml",
"bug_division_by_zero_loop.db",
+ "bug_division_by_zero_loop",
commandStrDepthOneReverse)) {
+ ret = NO;
+ fprintf(stderr, "Test bug division by zero loop with depth 1
with backtracking: FAILED\n");
+ } else {
+ fprintf(stderr, "Test bug division by zero loop with depth 1
with backtracking: PASSED\n");
+ }
+
return ret;
}
[Prev in Thread] |
Current Thread |
[Next in Thread] |
- [GNUnet-SVN] r23033 - in monkey/branches/MonkeyBacktracking/monkey: . refs/reports src/include src/mi src/pathologist,
gnunet <=