[klee-dev] how to know if variable is symbolic

[Dan Liew]

On 17 March 2016 at 17:18, Sumit Kumar <sumit686215 at gmail.com> wrote:
> Hi,
> I want to know if there is a way to know if a variable is symbolic or not in
> KLEE when KLEE is executing an instruction involving the variable.

Within the application it self you can call ``klee_is_symbolic()``.
Inside KLEE you just have to test whether the expression representing
the register is constant. See
``SpecialFunctionHandler::handleIsSymbolic()``.