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

Question

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

Answer 1

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