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).
Post by æç½äºCan anybody tell me if the C project based on Windows can be analyzed
by KLEE?
Thank you!