[klee-dev] Klee in windows

[Daniel Liew]

What C project? Be more specific.

If you can compile the C program to LLVM bitcode then yes, KLEE can try to
execute it but if the program makes use of windows specific features then
its not going to work very well (if at all).




On 25 April 2013 07:00, 明白了 <1196467124 at qq.com> wrote:

>    Can anybody tell me if the C project based on Windows can be analyzed
> by KLEE?
> Thank you!
>
-------------- next part --------------
HTML attachment scrubbed and removed