KLEE преобразует несимволическую переменную в символьную

Как я могу преобразовать несимволическую переменную (т.е. переменная не объявлена ​​символической во входной программе) в символическую в KLEE


variables symbolic-math klee
person sumit    schedule 18.03.2016    source источник

Ответы (1)


arrow_upward
1
arrow_downward

Либо нужно явно вызывать klee_make_symbolic() в программе ввода, либо можно взломать саму KLEE, чтобы она считала переменную символьной. Нет прямого/простого способа преобразовать несимволическую переменную в символическую без какого-либо взлома.

person afsafzal    schedule 20.07.2016