[klee-dev] Q

[Cristian Cadar]

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
> klee-dev at imperial.ac.uk
> https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
>