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, 明白了 <[email protected]> wrote: > Can anybody tell me if the C project based on Windows can be analyzed > by KLEE? > Thank you! >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
