You can mark memory as symbolic at any point in the program using
klee_make_symbolic(). Another thing to check out is ZESTI
(http://srg.doc.ic.ac.uk/publications/zesti-icse-12.html)
Cristian
On 10/03/15 21:03, Bo Fang wrote:
Hi all,
I am new to klee, and I wondering if there is a way in klee that allows
me to run the program till a certain point, and start the symbolic
execution from there? Like setting a breakpoint in gdb.
I checked the online documents and I couldn't find anything related to
it. Thank you in advance.
Bo
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________
klee-dev mailing list
[email protected]
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
