コード例 #1
0
ファイル: fd.c プロジェクト: 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;
}
コード例 #2
0
ファイル: fd.c プロジェクト: MartinNowack/klee
static size_t __concretize_size(size_t s) {
  size_t sc = klee_get_valuel((long)s);
  klee_assume(sc == s);
  return sc;
}
コード例 #3
0
ファイル: common.c プロジェクト: Icefroge/cloud9
off_t __concretize_offset(off_t o) {
  off_t oc = klee_get_valuel((long)o);
  klee_assume(oc == o);
  return oc;
}
コード例 #4
0
ファイル: fd.c プロジェクト: 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;
}
コード例 #5
0
ファイル: common.c プロジェクト: Icefroge/cloud9
void *__concretize_ptr(const void *p) {
  char *pc = (char*) klee_get_valuel((long) p);
  klee_assume(pc == p);
  return pc;
}