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-0B-B0-66 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 May  7 23:30:39 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/tmp572628.c /tmp/tmp11452f.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
Error: There were parsing errors in preprocessed/src/configparser.c
/root/repair aborting: Errormsg.Error
Rep: saving test cache

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

Compile Failures: 0
Wall-Clock Seconds Elapsed: 1.26859
  Activity Name                     Count Seconds = Percent of Total Time
  TOTAL                                     0.000 = 0% (avg CPU usage)
Fatal error: exception Errormsg.Error
lighttpd-bug-1794-1795.tar.gz
Tue May  7 23:30:42 EDT 2013
shutting down
