WARNING: the argument --multi-file is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.WARNING: the argument --suffix-extension is deprecated. This is not fatal, as GenProg can handle certain deprecated options as of the March 2012 refactor.
However, you may want to consult the GenProg documentation to avoid using 
deprecated options in the future, and verify that your config is doing what you
think it is doing.--allow-coverage-fail false
--appp 0.33333
--asm-code-only false
--best-edit-rule "1 * fault_loc_weight ; 1 * max_test_fail_prob ; -1 * num_tests"
--best-test-rule "1 * test_fail_prob ; 1 * test_fail_count ; -1 * test_pass_count"
--compiler "gcc"
--compiler-command "perl compile.pl __EXE_NAME__ > /dev/null"
--compiler-opts ""
--continue false
--coverage-info ""
--coverage-per-test false
--crossover "subset"
--crossp 0.5
--delp 0.33333
--describe-machine true
--diversity-selection 0
--edit-script false
--elf-risc false
--exclude-edits ""
--exp-diff false
--fault-file ""
--fault-path "coverage.path.neg"
--fault-scheme "path"
--fitness-in-parallel 1
--fix-file ""
--fix-oracle ""
--fix-path "coverage.path.pos"
--fix-scheme "default"
--flatten-path ""
--format "txt"
--gen-per-exchange 1
--generations 10
--gui false
--hostname "127.0.0.1"
--ignore-dead-code true
--ignore-equiv-appends true
--ignore-standard-headers true
--ignore-string-equiv-fixes true
--ignore-untyped-returns true
--incoming-pop ""
--keep-source false
--label-repair false
--max-evals 0
--minimization false
--mt-cov false
--multiopt-minimize false
--multiopt-no-inf false
--neg-tests 1
--neg-weight 1
--negative-test-weight 2
--neutral-walk-max-size 0
--neutral-walk-weight ""
--nht-id "global"
--nht-port 51000
--nht-server ""
--no-rep-cache false
--no-test-cache false
--num-comps 2
--num-objectives 2
--oracle-genome ""
--popsize 40
--port 60000
--pos-tests 60
--pos-weight 0.1
--prefix "preprocessed"
--preprocessor ""
--print-incremental-evals false
--print-source-name false
--program "bugged-program.txt"
--promut 1
--quiet false
--regen-paths false
--rep "cilpatch"
--rep-cache "default.cache"
--repp 0
--samp-strat "variant"
--sample 1
--sample-runs 100
--sanity "yes"
--search "ww"
--seed 1
--select-parents-separately false
--selection "tournament"
--semantic-check "scope"
--single-fitness false
--skip-failed-sanity-tests true
--skip-tests ""
--split-search 0
--sport 65000
--subatom-constp 0.5
--subatom-mutp 0
--super-mutant true
--super-mutant-size 50
--swap-bug false
--swapp 0.33333
--template-cache ""
--templates ""
--test-command "__TEST_SCRIPT__ __TEST_NAME__ __EXE_NAME__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux ip-10-3-27-76 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Tue Jan 28 10:13:45 EST 2014
id: uid=0(root) gid=0(root) groups=0(root),1(bin),2(daemon),3(sys),4(adm),6(disk),10(wheel) context=system_u:system_r:kernel_t:s0
cat /etc/redhat-release: Fedora release 13 (Goddard)
grep 'model name' /proc/cpuinfo: model name	: Intel(R) Xeon(R) CPU           E5506  @ 2.13GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp953f09.c /tmp/tmp9e4133.c
cilRep: done preprocessing IO function signatures
Exception in loading: Sys_error("default.cache: No such file or directory")
cilrep: from_source: pre: stmt_count = 1
cilRep: preprocessed/epan/reassemble.c: parsing
cilRep: preprocessed/epan/reassemble.c: parsed (0.44907 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 162 "reassemble.c"
tmp___5 = memcmp((void const   *)(& key1->act_id),
                 (void const   *)(& key2->act_id), sizeof(e_uuid_t ));
Liveness failed on function:
 static gint dcerpc_fragment_equal(gconstpointer k1 , gconstpointer k2 ) 
{ dcerpc_fragment_key const   *key1 ;
  dcerpc_fragment_key const   *key2 ;
  int tmp ;
  int tmp___0 ;
  int tmp___1 ;
  int tmp___2 ;
  int tmp___3 ;
  int tmp___4 ;
  int tmp___5 ;

  {
   344: /* CIL Label */ 
#line 155
  key1 = (dcerpc_fragment_key const   *)k1;
   345: /* CIL Label */ 
#line 156
  key2 = (dcerpc_fragment_key const   *)k2;
   346: /* CIL Label */ 
#line 162
  if (key1->id == key2->id) {
#line 162
    if ((unsigned int const   )key1->src.type == (unsigned int const   )key2->src.type) {
#line 162
      if ((unsigned int const   )key1->src.type == 0U) {
        goto _L___0;
      } else {
#line 162
        if (key1->src.len == key2->src.len) {
#line 162
          tmp___3 = memcmp((void const   *)key1->src.data,
                           (void const   *)key2->src.data,
                           (unsigned int )key1->src.len);
#line 162
          if (tmp___3 == 0) {
            _L___0: /* CIL Label */ 
#line 162
            if ((unsigned int const   )key1->dst.type == (unsigned int const   )key2->dst.type) {
#line 162
              if ((unsigned int const   )key1->dst.type == 0U) {
                goto _L;
              } else {
#line 162
                if (key1->dst.len == key2->dst.len) {
#line 162
                  tmp___4 = memcmp((void const   *)key1->dst.data,
                                   (void const   *)key2->dst.data,
                                   (unsigned int )key1->dst.len);
#line 162
                  if (tmp___4 == 0) {
                    _L: /* CIL Label */ 
#line 162
                    tmp___5 = memcmp((void const   *)(& key1->act_id),
                                     (void const   *)(& key2->act_id),
                                     sizeof(e_uuid_t ));
#line 162
                    if (tmp___5 == 0) {
#line 162
                      tmp___2 = 1;
                    } else {
#line 162
                      tmp___2 = 0;
                    }
                  } else {
#line 162
                    tmp___2 = 0;
                  }
                } else {
#line 162
                  tmp___2 = 0;
                }
              }
            } else {
#line 162
              tmp___2 = 0;
            }
          } else {
#line 162
            tmp___2 = 0;
          }
        } else {
#line 162
          tmp___2 = 0;
        }
      }
    } else {
#line 162
      tmp___2 = 0;
    }
  } else {
#line 162
    tmp___2 = 0;
  }
   347: /* CIL Label */ 
#line 162
  return (tmp___2);
}
}

cilRep: liveness failure for dcerpc_fragment_equal: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 2059
next_tvb = (tvbuff_t *)((void *)0);
Liveness failed on function:
 tvbuff_t *process_reassembled_data(tvbuff_t *tvb , int offset ,
                                    packet_info *pinfo , char const   *name ,
                                    fragment_data *fd_head ,
                                    fragment_items const   *fit ,
                                    gboolean *update_col_infop ,
                                    proto_tree *tree ) 
{ tvbuff_t *next_tvb ;
  gboolean update_col_info ;
  proto_item *frag_tree_item ;
  gboolean tmp ;
  int tmp___0 ;
  gboolean tmp___1 ;
  int tmp___2 ;

  {
   1123: /* CIL Label */ 
#line 2005
  if ((unsigned int )fd_head != (unsigned int )((void *)0)) {
#line 2005
    if ((pinfo->fd)->num == fd_head->reassembled_in) {
#line 2011
      if ((unsigned int )fd_head->next != (unsigned int )((void *)0)) {
#line 2017
        if (fd_head->flags & 256U) {
#line 2018
          next_tvb = tvb_new_real_data((guint8 const   *)fd_head->data,
                                       fd_head->len, (int )fd_head->len);
        } else {
#line 2021
          next_tvb = tvb_new_real_data((guint8 const   *)fd_head->data,
                                       fd_head->datalen, (int )fd_head->datalen);
        }
#line 2030
        tvb_set_child_real_data_tvbuff(tvb, next_tvb);
#line 2033
        add_new_data_source(pinfo, next_tvb, name);
#line 2036
        if (fd_head->flags & 256U) {
#line 2037
          tmp = show_fragment_seq_tree(fd_head, fit, tree, pinfo, next_tvb,
                                       & frag_tree_item);
#line 2037
          if (tmp) {
#line 2037
            tmp___0 = 0;
          } else {
#line 2037
            tmp___0 = 1;
          }
#line 2037
          update_col_info = tmp___0;
        } else {
#line 2040
          tmp___1 = show_fragment_tree(fd_head, fit, tree, pinfo, next_tvb,
                                       & frag_tree_item);
#line 2040
          if (tmp___1) {
#line 2040
            tmp___2 = 0;
          } else {
#line 2040
            tmp___2 = 1;
          }
#line 2040
          update_col_info = tmp___2;
        }
      } else {
#line 2048
        next_tvb = tvb_new_subset_remaining(tvb, offset);
#line 2049
        pinfo->fragmented = 0;
#line 2050
        update_col_info = 1;
      }
#line 2052
      if ((unsigned int )update_col_infop != (unsigned int )((void *)0)) {
#line 2053
        *update_col_infop = update_col_info;
      } else {

      }
    } else {
      goto _L;
    }
  } else {
    _L: /* CIL Label */ 
#line 2059
    next_tvb = (tvbuff_t *)((void *)0);
#line 2067
    if ((unsigned int )fd_head != (unsigned int )((void *)0)) {
#line 2067
      if ((unsigned int )fit->hf_reassembled_in != (unsigned int )((void *)0)) {
#line 2068
        proto_tree_add_uint(tree, *(fit->hf_reassembled_in), tvb, 0, 0,
                            fd_head->reassembled_in);
      } else {

      }
    } else {

    }
  }
   1124: /* CIL Label */ 
#line 2073
  return (next_tvb);
}
}

cilRep: liveness failure for process_reassembled_data: Errormsg.Error
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 1320
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	p5: true (1)
	p6: true (1)
	p7: true (1)
	p8: true (1)
	p9: true (1)
	p10: true (1)
	p11: true (1)
	p12: true (1)
	p13: true (1)
	p14: true (1)
	p15: true (1)
	p16: true (1)
	p17: true (1)
	p18: true (1)
	p19: true (1)
	p20: true (1)
	p21: true (1)
	p22: true (1)
	p23: true (1)
	p24: true (1)
	p25: true (1)
	p26: true (1)
	p27: true (1)
	p28: true (1)
	p29: true (1)
	p30: true (1)
	p31: true (1)
	p32: true (1)
	p33: true (1)
	p34: true (1)
	p35: true (1)
	p36: true (1)
	p37: true (1)
	p38: true (1)
	p39: true (1)
	p40: true (1)
	p41: true (1)
	p42: true (1)
	p43: true (1)
	p44: true (1)
	p45: true (1)
	p46: true (1)
	p47: true (1)
	p48: true (1)
	p49: true (1)
	p50: true (1)
	p51: true (1)
	p52: true (1)
	p53: true (1)
	p54: true (1)
	p55: true (1)
	p56: true (1)
	p57: true (1)
	p58: true (1)
	p59: true (1)
	p60: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 293.53)
faultLocRep: compute_localization: fault_scheme: path, fix_scheme: default
cilRep: default.cache: saved
cachingRep: default.cache: saved
faultlocRep: default.cache: saved
cilrep done serialize
cilRep: stmt_count = 1320
cilRep: stmts in weighted_path = 0
cilRep: total weight = 0
cilRep: stmts in weighted_path with weight >= 1.0 = 0
cilRep: epan/reassemble.c (code bank/base file; atoms [1,1320])
cilRep: 1 file(s) total in representation
search: ww_adaptive_1 begins (time = 1390922322.889172)
cilRep: coverage ignores: /usr/local/include
cilRep: coverage ignores: /usr/lib/gcc/i686-redhat-linux/4.4.5/include
cilRep: coverage ignores: /usr/include
cilRep: atoms in standard headers: 250
cilRep: fix-space quotient by string: 14 -> 9
progeq: WARNING: cannot resolve call: g_hash_table_foreach_remove
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __builtin_expect
progeq: WARNING: cannot resolve call: __builtin_clzl
progeq: WARNING: cannot resolve call: g_atomic_pointer_get
progeq: WARNING: cannot resolve call: g_once_init_enter_impl
progeq: WARNING: cannot resolve call: g_string_insert_c
progeq: WARNING: cannot resolve call: g_slice_alloc
progeq: WARNING: cannot resolve call: g_malloc
progeq: WARNING: cannot resolve call: memcpy
progeq: WARNING: cannot resolve call: g_free
progeq: WARNING: cannot resolve call: g_slice_free1
progeq: WARNING: cannot resolve call: g_slice_alloc0
progeq: WARNING: cannot resolve call: g_hash_table_new_full
progeq: WARNING: cannot resolve call: g_hash_table_lookup
progeq: WARNING: cannot resolve call: g_hash_table_remove
progeq: WARNING: cannot resolve call: g_hash_table_insert
progeq: WARNING: cannot resolve call: tvb_get_ptr
progeq: WARNING: cannot resolve call: tvb_memcpy
progeq: WARNING: cannot resolve call: g_log
progeq: WARNING: cannot resolve call: tvb_bytes_exist
progeq: WARNING: cannot resolve call: ep_strdup_printf
progeq: WARNING: cannot resolve call: except_throw
progeq: WARNING: cannot resolve call: g_hash_table_lookup_extended
progeq: WARNING: cannot resolve call: tvb_reported_length
progeq: WARNING: cannot resolve call: tvb_length
progeq: WARNING: cannot resolve call: *key_copier
progeq: WARNING: cannot resolve call: tvb_new_real_data
progeq: WARNING: cannot resolve call: tvb_set_child_real_data_tvbuff
progeq: WARNING: cannot resolve call: add_new_data_source
progeq: WARNING: cannot resolve call: proto_tree_add_item
progeq: WARNING: cannot resolve call: proto_item_add_subtree
progeq: WARNING: cannot resolve call: proto_registrar_get_name
progeq: WARNING: cannot resolve call: g_strdup
progeq: WARNING: cannot resolve call: proto_item_set_text
progeq: WARNING: cannot resolve call: proto_item_append_text
progeq: WARNING: cannot resolve call: proto_tree_add_uint_format
progeq: WARNING: cannot resolve call: proto_tree_add_boolean
progeq: WARNING: cannot resolve call: proto_tree_add_uint
progeq: WARNING: cannot resolve call: check_col
progeq: WARNING: cannot resolve call: col_add_fstr
progeq: WARNING: cannot resolve call: tvb_new_subset_remaining
search: fix space reduced (time_taken = 0.647001)
excluded 0 deletes (from list of 0 total edits)
search: ww_adaptive: 0 deletes
excluded 0 appends (from list of 0 total edits)
search: ww_adaptive: 0 appends
search: ww_adaptive: 0 possible edits
/root/repair aborting: File "search.ml", line 856, characters 2-8: Assertion failed
Rep: saving test cache

Variant Test Case Queries: 0
"Test Suite Evaluations": 0

Compile Failures: 0
Wall-Clock Seconds Elapsed: 297.688
  Activity Name                     Count Seconds = Percent of Total Time
  sanity_check                          1   0.101 = 0.0342946%
  progeq partition                      9   0.397 = 0.135124%
  compile                               1  21.459 = 7.30068%
  test                                 61 271.970 = 92.5299%
  TOTAL                                   293.927 = 98.7342% (avg CPU usage)
Fatal error: exception Assert_failure("search.ml", 856, 2)
wireshark-bug-37112-37111.tar.gz
Tue Jan 28 10:18:45 EST 2014
shutting down
