KLEE转换非符号变量符号

Question

我怎样才能转换为非符号变量在KLEE

Answer 1

（即变量未声明的输入程序象征性的），以象征性的你要么需要显式调用klee_make_symbolic()在输入程序，或者你可以破解KLEE本身，以便它将一个变量视为符号。没有一种简单/简单的方法可以将非符号变量转换为符号变量，而不会发生一些黑客行为。