C++ (Cpp) klee_alias_function示例

示例#1

文件： AliasFunction.c 项目： ccadar/klee

int main() {
  int x;
  klee_make_symbolic(&x, sizeof(x), "x");

  // call once, so that it is not removed by optimizations
  bar();

  // no aliases
  foo();

  if (x > 10)
  {
    // foo -> bar
    klee_alias_function("foo", "bar");

    if (x > 20)
      foo();
  }
  
  foo();

  // undo
  klee_alias_function("foo", "foo");
  foo();
}

示例#2

文件： AliasFunctionExit.c 项目： sdasgup3/symbolic-analysis

int main() {
  int x;
  klee_make_symbolic(&x, sizeof(x), "x");

  klee_alias_function("exit", "end");
  start(x);
  end(0);
}

示例#3

文件： AliasFunction.c 项目： 0bliv10n/s2e

int main() {
  int x;
  klee_make_symbolic(&x, sizeof(x), "x");

  // no aliases
  foo();

  if (x > 10)
  {
    // foo -> bar
    klee_alias_function("foo", "bar");    

    if (x > 20)
      foo();
  }
  
  foo();

  // undo
  klee_alias_function("foo", "foo");
  foo();
}

示例#4

文件： AliasFunctionExit.c 项目： sdasgup3/symbolic-analysis

void end(int status) {
  klee_alias_function("exit", "exit");
  printf("END: status = %d\n", status);
  exit(status);
}