Hi Daniel, Hope you had a great thanksgiving. I'm Junfeng's student Heming. I am using Klee on a research project and got stuck with an error. I'm wondering if you can shed some light on it.
The problem seems to be that Klee doesn't handle the clone() system call. Is it the case? The symptoms I got is as follows. I ran a program that does fork() with Klee and it all worked fine. However, after I used clone() without the CLONE_VM flag (i.e., no address space sharing), Klee output "failed external call: clone." If I added the CLONE_VM flag, Klee crashed. I attached a minimal testcase that can demonstrate the above error. There is a "#define FLAG" that can turn on or off CLONE_VM. I'd appreciate if you could look at this error and let me know if there is a workaround/how I can modify Klee to fix the error. Thank you! -- Regards, Heming Cui -------------- next part -------------- An HTML attachment was scrubbed... URL: http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091202/814e6436/attachment.html -------------- next part -------------- A non-text attachment was scrubbed... Name: islower.c Type: application/octet-stream Size: 701 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20091202/814e6436/attachment.obj
