[klee-dev] Could Klee support multi-tasks applications?
raimondas.sasnauskas at cs.rwth-aachen.de
Thu Jan 27 02:23:12 PST 2011
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
-------------- next part --------------
A non-text attachment was scrubbed...
Size: 4409 bytes
Desc: not available
Url : http://keeda.Stanford.EDU/pipermail/klee-dev/attachments/20110127/b36d2854/attachment.bin
More information about the klee-dev