[klee-dev] Symbolic information

[Thijs van Opstal]

Dear,

I’m currently working on my master’s thesis at the University of Antwerp. I’m working with KLEE to perform symbolic execution for timing analysis. As described in the tutorials and documentation, a lot of information can be gained from this execution.

On the other hand, is it also possible to know the symbolic information at each step through the code?

I look forward to hearing from you.

Kind regards,

Thijs van Opstal