On 17 March 2016 at 17:18, Sumit Kumar <[email protected]> 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()``. _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
