0

How can I convert a non-symbolic variable (i.e the variable is not declared symbolic in the input program) to symbolic in KLEE

sumit
  • 23
  • 5

1 Answers1

1

You either need to explicitly call klee_make_symbolic() in the input program, or you can hack KLEE itself so that it considers a variable as a symbolic one. There's no straight/easy way to convert a non-symbolic variable to a symbolic one without some hacking.

afsafzal
  • 592
  • 5
  • 15