[klee-dev] Could Klee support multi-tasks applications?

[Raimondas Sasnauskas]

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