Dear all,
I am trying to use KLEE with multi-threaded programs, and I meet some
problem:
When I create a child thread that shares address space with parent
process using clone(), KLEE will crash.
*clone(do_something, child_stack, CLONE_VM, NULL);*
If I create a new child process that does not share addr space with
parent using clone(), no problem occur.
*clone(do_something, child_stack, 0, NULL);*
Any idea?
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091123/a38b1fa4/attachment.html
