int main(int argc, char** args){ int x; int p; int i; klee_make_symbolic(&x, sizeof(x), "x"); x = x % 20; klee_open_merge(); for (i = 0; i < x; ++i){ if (x % 3 == 0){ klee_close_merge(); if (x > 10){ return 1; } else { return 2; } } } klee_close_merge(); klee_open_merge(); if (x > 10){ p = 1; } else { p = 2; } klee_close_merge(); return p; }
int main(int argc, char** args){ int x; int a; int foo = 0; klee_make_symbolic(&x, sizeof(x), "x"); klee_make_symbolic(&a, sizeof(a), "a"); if (a == 0){ klee_open_merge(); if (x == 1) { foo = 5; } else if (x == 2) { foo = 6; } else { foo = 7; } klee_close_merge(); } return foo; }
int main(int argc, char **args) { int x; int a; int foo = 0; klee_make_symbolic(&x, sizeof(x), "x"); klee_make_symbolic(&a, sizeof(a), "a"); klee_open_merge(); if (a == 0) { klee_open_merge(); for (int i = 0; i < 5; ++i){ foo += 2; } if (x == 1) { foo += 5; } else if (x == 2) { for (int i = 0; i < 10; ++i) { foo += foo; } } else { foo += 7; } klee_close_merge(); } else if (a == 1) { foo = 4; } else { foo = 3; } klee_close_merge(); return foo; }
int main(int argc, char **args) { int* arr = 0; int a = 0; klee_make_symbolic(&a, sizeof(a), "a"); klee_open_merge(); if (a == 0) { arr = (int*) malloc(7 * sizeof(int)); arr[0] = 7; } else { arr = (int*) malloc(8 * sizeof(int)); arr[0] = 8; } klee_close_merge(); a = arr[0]; free(arr); return a; }