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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
