KLEE将非符号变量转换为符号变量

Question

如何在KLEE中将非符号变量（即变量在输入程序中未声明为符号）转换为符号

Answer 1

您需要在输入程序中显式调用klee_make_symbolic()，或者您可以自行破解KLEE，以便将变量视为符号变量。没有一些黑客攻击，没有直接/简单的方法将非符号变量转换为符号变量。