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.WARNING: the argument --mutp 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
--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 4
--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
--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__ >& /dev/null"
--test-script "./test.sh"
--tournament-size 2
--tweet false
--uniq false
--valgrind false
--variants-exchanged 50
uname -a: Linux domU-12-31-39-0C-28-A5 2.6.34.7-61.fc13.i686.PAE #1 SMP Tue Oct 19 04:24:06 UTC 2010 i686 i686 i386 GNU/Linux
date: Wed May  8 11:01:51 EDT 2013
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           E5410  @ 2.33GHz
grep 'MemTotal' /proc/meminfo: MemTotal:        1747596 kB
grep 'SwapTotal' /proc/meminfo: SwapTotal:             0 kB
cilRep: preprocessing IO function signatures: /tmp/tmp35bfe1.c /tmp/tmp3fb10f.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/src/configfile-glue.c: parsing
cilRep: preprocessed/src/configfile-glue.c: parsed (0.697871 MB)
cilRep: computing liveness
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 30 "configfile-glue.c"
i ++;
Liveness failed on function:
 int config_insert_values_internal(server *srv , array *ca ,
                                   config_values_t const   *cv ) 
{ size_t i ;
  data_unset *du ;
  size_t tmp ;
  size_t j ;
  data_array *da ;
  data_string *ds ;
  data_unset *tmp___0 ;
  data_string *ds___0 ;
  data_integer *di ;
  data_integer *di___0 ;
  data_string *ds___1 ;
  long tmp___1 ;
  int tmp___2 ;
  data_integer *di___1 ;
  data_string *ds___2 ;
  long tmp___3 ;
  int tmp___4 ;
  data_string *ds___3 ;
  int tmp___5 ;
  int tmp___6 ;
  char const   *tmp___7 ;
  char const   *tmp___8 ;

  {
   501: /* CIL Label */ 
#line 30
  i = 0U;
   502: /* CIL Label */ 
#line 30
  while ((cv + i)->key) {
#line 32
    tmp = strlen((char const   *)(cv + i)->key);
#line 32
    du = array_get_element(ca, (char const   *)(cv + i)->key, tmp);
#line 32
    if ((unsigned int )((void *)0) == (unsigned int )du) {
      goto __Cont;
    } else {

    }
#line 38
    switch ((int )(cv + i)->type) {
    case 5: 
#line 40
    if ((unsigned int )du->type == 3U) {
#line 42
      da = (data_array *)du;
#line 44
      j = 0U;
#line 44
      while (j < (da->value)->used) {
#line 45
        if ((unsigned int )(*((da->value)->data + j))->type == 1U) {
#line 48
          tmp___0 = array_get_unused_element((array *)(cv + i)->destination,
                                             (enum __anonenum_data_type_t_108 )1);
#line 48
          ds = (data_string *)tmp___0;
#line 48
          if ((unsigned int )((void *)0) == (unsigned int )ds) {
#line 49
            ds = data_string_init();
          } else {

          }
#line 52
          buffer_copy_string_buffer(ds->value,
                                    (buffer const   *)((data_string *)*((da->value)->data + j))->value);
#line 53
          if (! da->is_index_key) {
#line 57
            buffer_copy_string_buffer(ds->key,
                                      (buffer const   *)((data_string *)*((da->value)->data + j))->key);
          } else {

          }
#line 60
          array_insert_unique((array *)(cv + i)->destination, (data_unset *)ds);
        } else {
#line 62
          log_error_write((void *)srv, "configfile-glue.c", 62U, "sssd",
                          "the key of an array can only be a string or a integer, variable:",
                          (cv + i)->key, "type:",
                          (*((da->value)->data + j))->type);
#line 66
          return (-1);
        }
#line 44
        j ++;
      }
    } else {
#line 70
      log_error_write((void *)srv, "configfile-glue.c", 70U, "sss",
                      "unexpected type for key: ", (cv + i)->key,
                      "array of strings");
#line 72
      return (-1);
    }
#line 74
    break;
    case 1: 
#line 76
    if ((unsigned int )du->type == 1U) {
#line 77
      ds___0 = (data_string *)du;
#line 79
      buffer_copy_string_buffer((buffer *)(cv + i)->destination,
                                (buffer const   *)ds___0->value);
    } else {
#line 80
      if ((unsigned int )du->type == 4U) {
#line 81
        di = (data_integer *)du;
#line 83
        buffer_copy_long((buffer *)(cv + i)->destination, (long )di->value);
      } else {
#line 85
        log_error_write((void *)srv, "configfile-glue.c", 85U, "ssss",
                        "unexpected type for key: ", (cv + i)->key, "(string)",
                        "\"...\"");
#line 87
        return (-1);
      }
    }
#line 89
    break;
    case 2: 
#line 91
    switch ((int )du->type) {
    case 4: 
#line 93
    di___0 = (data_integer *)du;
#line 95
    *((unsigned short *)(cv + i)->destination) = (unsigned short )di___0->value;
#line 96
    break;
    case 1: 
#line 99
    ds___1 = (data_string *)du;
#line 101
    tmp___2 = buffer_isdigit(ds___1->value);
#line 101
    if (tmp___2) {
#line 102
      tmp___1 = strtol((char const   */* __restrict  */)(ds___1->value)->ptr,
                       (char **/* __restrict  */)((void *)0), 10);
#line 102
      *((unsigned short *)(cv + i)->destination) = (unsigned short )tmp___1;
#line 103
      break;
    } else {

    }
#line 106
    log_error_write((void *)srv, "configfile-glue.c", 106U, "ssb",
                    "got a string but expected a short:", (cv + i)->key,
                    ds___1->value);
#line 108
    return (-1);
    default: 
#line 111
    log_error_write((void *)srv, "configfile-glue.c", 111U, "ssds",
                    "unexpected type for key:", (cv + i)->key, du->type,
                    "expected a short integer, range 0 ... 65535");
#line 112
    return (-1);
    }
#line 114
    break;
    case 3: 
#line 116
    switch ((int )du->type) {
    case 4: 
#line 118
    di___1 = (data_integer *)du;
#line 120
    *((unsigned int *)(cv + i)->destination) = (unsigned int )di___1->value;
#line 121
    break;
    case 1: 
#line 124
    ds___2 = (data_string *)du;
#line 126
    tmp___4 = buffer_isdigit(ds___2->value);
#line 126
    if (tmp___4) {
#line 127
      tmp___3 = strtol((char const   */* __restrict  */)(ds___2->value)->ptr,
                       (char **/* __restrict  */)((void *)0), 10);
#line 127
      *((unsigned int *)(cv + i)->destination) = (unsigned int )tmp___3;
#line 128
      break;
    } else {

    }
#line 131
    log_error_write((void *)srv, "configfile-glue.c", 131U, "ssb",
                    "got a string but expected a integer:", (cv + i)->key,
                    ds___2->value);
#line 133
    return (-1);
    default: 
#line 136
    log_error_write((void *)srv, "configfile-glue.c", 136U, "ssds",
                    "unexpected type for key:", (cv + i)->key, du->type,
                    "expected a integer, range 0 ... 4294967295");
#line 137
    return (-1);
    }
#line 139
    break;
    case 4: 
#line 141
    if ((unsigned int )du->type == 1U) {
#line 142
      ds___3 = (data_string *)du;
#line 144
      tmp___6 = buffer_is_equal_string(ds___3->value, "enable",
                                       sizeof("enable") - 1U);
#line 144
      if (tmp___6) {
#line 145
        *((unsigned short *)(cv + i)->destination) = (unsigned short)1;
      } else {
#line 146
        tmp___5 = buffer_is_equal_string(ds___3->value, "disable",
                                         sizeof("disable") - 1U);
#line 146
        if (tmp___5) {
#line 147
          *((unsigned short *)(cv + i)->destination) = (unsigned short)0;
        } else {
#line 149
          log_error_write((void *)srv, "configfile-glue.c", 149U, "ssbs",
                          "ERROR: unexpected value for key:", (cv + i)->key,
                          ds___3->value, "(enable|disable)");
#line 151
          return (-1);
        }
      }
    } else {
#line 154
      log_error_write((void *)srv, "configfile-glue.c", 154U, "ssss",
                      "ERROR: unexpected type for key:", (cv + i)->key,
                      "(string)", "\"(enable|disable)\"");
#line 156
      return (-1);
    }
#line 158
    break;
    case 6: 
    case 0: 
#line 161
    break;
    case 8: 
#line 163
    tmp___7 = remove_path("configfile-glue.c");
#line 163
    log_trace("%s.%d: (error) found unsupported key in \'%s\' = \'%s\'",
              tmp___7, 163, (cv + i)->key, (char *)(cv + i)->destination);
#line 165
    srv->config_unsupported = (unsigned short)1;
#line 167
    break;
    case 7: 
#line 169
    tmp___8 = remove_path("configfile-glue.c");
#line 169
    log_trace("%s.%d: (error) found deprecated key in \'%s\' = \'%s\'", tmp___8,
              169, (cv + i)->key, (char *)(cv + i)->destination);
#line 171
    srv->config_deprecated = (unsigned short)1;
#line 173
    break;
    }
    __Cont: /* CIL Label */ 
#line 30
    i ++;
  }
   503: /* CIL Label */ 
#line 176
  return (0);
}
}

cilRep: liveness failure for config_insert_values_internal: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: __Cont: /* CIL Label */ 
#line 183
i ++;
Liveness failed on function:
 int config_insert_values_global(server *srv , array *ca ,
                                 config_values_t const   *cv ) 
{ size_t i ;
  data_unset *du ;
  data_string *touched ;
  size_t tmp ;
  int tmp___0 ;

  {
   515: /* CIL Label */ 
#line 183
  i = 0U;
   516: /* CIL Label */ 
#line 183
  while ((cv + i)->key) {
#line 186
    tmp = strlen((char const   *)(cv + i)->key);
#line 186
    du = array_get_element(ca, (char const   *)(cv + i)->key, tmp);
#line 186
    if ((unsigned int )((void *)0) == (unsigned int )du) {
      goto __Cont;
    } else {

    }
#line 193
    touched = data_string_init();
#line 195
    buffer_copy_string(touched->value, "");
#line 196
    buffer_copy_string_buffer(touched->key, (buffer const   *)du->key);
#line 198
    array_insert_unique(srv->config_touched, (data_unset *)touched);
    __Cont: /* CIL Label */ 
#line 183
    i ++;
  }
   517: /* CIL Label */ 
#line 201
  tmp___0 = config_insert_values_internal(srv, ca, cv);
   518: /* CIL Label */ 
#line 201
  return (tmp___0);
}
}

cilRep: liveness failure for config_insert_values_global: Errormsg.Error
Bug: BF(Liveness): stmtStartData is not initialized for -1: _L: /* CIL Label */ 
#line 582
tmp = __ctype_b_loc();
Liveness failed on function:
 int config_exec_pcre_keyvalue_buffer(connection *con ,
                                      pcre_keyvalue_buffer *kvb ,
                                      data_config *context , buffer *match_buf ,
                                      buffer *result ) 
{ pcre *match ;
  pcre_extra *extra ;
  char const   *pattern ;
  size_t pattern_len ;
  int n ;
  size_t i ;
  pcre_keyvalue *kv ;
  int ovec[30] ;
  char const   **list ;
  size_t start ;
  size_t end ;
  size_t k ;
  size_t num ;
  unsigned short const   **tmp ;

  {
   770: /* CIL Label */ 
#line 556
  i = 0U;
   771: /* CIL Label */ 
#line 556
  while (i < kvb->used) {
#line 557
    kv = *(kvb->kv + i);
#line 559
    match = kv->key;
#line 560
    extra = kv->key_extra;
#line 561
    pattern = (char const   *)(kv->value)->ptr;
#line 562
    pattern_len = (kv->value)->used - 1U;
#line 564
    n = pcre_exec((pcre const   *)match, (pcre_extra const   *)extra,
                  (char const   *)match_buf->ptr, (int )(match_buf->used - 1U),
                  0, 0, ovec, 30);
#line 564
    if (n < 0) {
#line 565
      if (n != -1) {
#line 566
        return (n);
      } else {

      }
    } else {
#line 574
      pcre_get_substring_list((char const   *)match_buf->ptr, ovec, n, & list);
#line 578
      buffer_reset(result);
#line 580
      start = 0U;
#line 580
      end = pattern_len;
#line 581
      k = 0U;
#line 581
      while (k < pattern_len) {
#line 582
        if ((int const   )*(pattern + k) == 36) {
          goto _L;
        } else {
#line 582
          if ((int const   )*(pattern + k) == 37) {
            _L: /* CIL Label */ 
#line 582
            tmp = __ctype_b_loc();
#line 582
            if ((int const   )*(*tmp + (int )((unsigned char )*(pattern + (k + 1U)))) & 2048) {
#line 586
              num = (size_t )((int const   )*(pattern + (k + 1U)) - 48);
#line 588
              end = k;
#line 590
              buffer_append_string_len(result, pattern + start, end - start);
#line 592
              if ((int const   )*(pattern + k) == 36) {
#line 594
                if (num < (unsigned int )n) {
#line 595
                  buffer_append_string(result, *(list + num));
                } else {

                }
              } else {
#line 598
                config_append_cond_match_buffer(con, context, result, (int )num);
              }
#line 601
              k ++;
#line 602
              start = k + 1U;
            } else {

            }
          } else {

          }
        }
#line 581
        k ++;
      }
#line 606
      buffer_append_string_len(result, pattern + start, pattern_len - start);
#line 608
      (*pcre_free)((void *)list);
#line 610
      return ((int )i);
    }
#line 556
    i ++;
  }
   772: /* CIL Label */ 
#line 614
  return (-1);
}
}

cilRep: liveness failure for config_exec_pcre_keyvalue_buffer: Errormsg.Error
cilRep: computed liveness
cilRep: preprocessed/src/configparser.c: parsing
cilRep: preprocessed/src/configparser.c: parsed (0.747963 MB)
cilRep: computing liveness
cilRep: computed liveness
cilRep: preprocessed/src/response.c: parsing
cilRep: preprocessed/src/response.c: parsed (0.74258 MB)
cilRep: computing liveness
cilRep: computed liveness
cilrep: from_source: post: stmt_count: 2718
cachingRepresentation: sanity checking begins
	p1: true (1)
	p2: true (1)
	p3: true (1)
	p4: true (1)
	n1: false (0)
cachingRepresentation: sanity checking passed (time_taken = 13.0594)
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 = 2718
cilRep: stmts in weighted_path = 317
cilRep: total weight = 35.3
cilRep: stmts in weighted_path with weight >= 1.0 = 4
cilRep: src/configfile-glue.c (code bank/base file; atoms [1,772])
cilRep: src/configparser.c (code bank/base file; atoms [773,1882])
cilRep: src/response.c (code bank/base file; atoms [1883,2718])
cilRep: 3 file(s) total in representation
search: ww_adaptive_1 begins (time = 1368025328.622450)
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: 1249
cilRep: fix-space quotient by string: 720 -> 572
progeq: WARNING: cannot resolve call: remove_path
progeq: WARNING: cannot resolve call: log_trace
progeq: computing alias analysis information
progeq: WARNING: cannot resolve call: __builtin_strchr
progeq: WARNING: cannot resolve call: __ctype_tolower_loc
progeq: WARNING: cannot resolve call: __ctype_toupper_loc
progeq: WARNING: cannot resolve call: __xstat
progeq: WARNING: cannot resolve call: __lxstat
progeq: WARNING: cannot resolve call: __fxstat
progeq: WARNING: cannot resolve call: __fxstatat
progeq: WARNING: cannot resolve call: __xmknod
progeq: WARNING: cannot resolve call: __xmknodat
progeq: WARNING: cannot resolve call: __strtoll_internal
progeq: WARNING: cannot resolve call: __strtoull_internal
progeq: WARNING: cannot resolve call: __wcstoll_internal
progeq: WARNING: cannot resolve call: __wcstoull_internal
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: __uflow
progeq: WARNING: cannot resolve call: __overflow
progeq: WARNING: cannot resolve call: memset
*** 3600m timeout
lighttpd-bug-1794-1795.tar.gz
Fri May 10 23:01:49 EDT 2013
shutting down
