0
Как я могу преобразовать несимволический переменной (т.е. переменная не объявлена символическая в программе ввода) в символический КлиKLEE преобразовать несимволический переменную символическому
A
ответ
1
Вы либо должны явно вызвать klee_make_symbolic() в или вы можете взломать KLEE, чтобы он рассматривал переменную как символическую. Нет никакого прямого/простого способа конвертировать несимволическую переменную в символическую без хакера.