Ejemplos de klee_get_valuel en C++ (Cpp)

Ejemplo n.º 1

Archivo: fd.c Proyecto: MartinNowack/klee

static const char *__concretize_string(const char *s) {
  char *sc = __concretize_ptr(s);
  unsigned i;

  for (i=0; ; ++i) {
    char c = *sc;
    if (!(i&(i-1))) {
      if (!c) {
        *sc++ = 0;
        break;
      } else if (c=='/') {
        *sc++ = '/';
      } 
    } else {
      char cc = (char) klee_get_valuel((long)c);
      klee_assume(cc == c);
      *sc++ = cc;
      if (!cc) break;
    }
  }

  return s;
}

Ejemplo n.º 2

Archivo: fd.c Proyecto: MartinNowack/klee

static size_t __concretize_size(size_t s) {
  size_t sc = klee_get_valuel((long)s);
  klee_assume(sc == s);
  return sc;
}

Ejemplo n.º 3

Archivo: common.c Proyecto: Icefroge/cloud9

off_t __concretize_offset(off_t o) {
  off_t oc = klee_get_valuel((long)o);
  klee_assume(oc == o);
  return oc;
}

Ejemplo n.º 4

Archivo: fd.c Proyecto: MartinNowack/klee

static void *__concretize_ptr(const void *p) {
  /* XXX 32-bit assumption */
  char *pc = (char*) klee_get_valuel((long) p);
  klee_assume(pc == p);
  return pc;
}

Ejemplo n.º 5

Archivo: common.c Proyecto: Icefroge/cloud9

void *__concretize_ptr(const void *p) {
  char *pc = (char*) klee_get_valuel((long) p);
  klee_assume(pc == p);
  return pc;
}