Hi Renjian, On 25.01.2011, at 04:10, ??? wrote: > Could Klee support multi-tasks applications, for example a program running > several tasks at the same time? It seems that Klee can only handle single > process with only one thread thing running in it.
No, KLEE can only handle a single process with only one thread. If you're interested in testing arbitrary (unmodified) software using KLEE as a backend, S2E might be interesting for you -> http://s2e.epfl.ch/ Best, Raimondas -------------- next part -------------- A non-text attachment was scrubbed... Name: smime.p7s Type: application/pkcs7-signature Size: 4409 bytes Desc: not available Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110127/b36d2854/attachment.bin
