Hello, I managed to compile httpd on the bitcode llvm2.9. By cons when I run under klee (2.9 with uclibc), he pulls out a following error message:
# klee --libc=uclibc --posix-runtime httpd.bc KLEE: NOTE: Using model: /home/dev/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca KLEE: output directory = "klee-out-2" LLVM ERROR: Code generator does not support intrinsic function 'llvm.memory.barrier'! Is what you have already had ca with other code? And if so how did you go wrong? thank you Sincerely, Lionel _______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
