[klee-dev] Running Apache server with KLEE

[Awanish]

Hi,

I compiled apache with llvm2.9 and when I am running it with command

  klee --libc=uclibc --posix-runtime httpd.bc

It emitting error which says
KLEE: ERROR: 
/home/awanish/git/angelix/build/klee-uclibc/libc/inet/socketcalls.c:362: 
inline assembly is unsupported

Can anyone please suggest me where I am doing wrong?

-- 
Thanks and Regards
Awanish Pandey
PhD, CSE
IIT Kanpur

-------------- next part --------------
HTML attachment scrubbed and removed