[klee-dev] Symbolic information

[Norlina Pasaribu]

Hallo, We can discuss if you want. Just send me email. Actually I dont know
really much about KLEE, but I ever try to use KLEE to test c program.
I think we can share each other.

Regards,
Lina

On Tue, Nov 20, 2018 at 4:02 PM Thijs van Opstal <
Thijs_van_opstal at hotmail.com> wrote:

> 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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>
-------------- next part --------------
HTML attachment scrubbed and removed