unable to load symbol

[mahmoodn]

Is there any solution for this error?

ub@cl9at30:~/cloud9-cloudsuite/cloud9/Release+Asserts/bin$ ./c9-worker --stand-alone --posix-runtime --libc=uclibc --coverable-modules=/home/ub/cloud9-cloudsuite/cloud9/infra/coverable/coreutils.coverable /home/ub/cloud9-cloudsuite/cloud9/targets/src/printf.bc --sym-args 0 2 5
[-946684799.-99Worker<   >: Info:       No max time specified; running without watchdog
[-946684799.-98Worker<   >: Debug:      Using Klee path /home/ub/cloud9-cloudsuite/cloud9
[-946684799.-98Worker<   >: Debug:      Using uClibc path /home/ub/cloud9-cloudsuite/klee-c9-uclibc
[-946684799.-90Worker<   >: Debug:      Using uClibc path /home/ub/cloud9-cloudsuite/klee-c9-uclibc
[-946684799.-90Worker<   >: Debug:      Using Klee path /home/ub/cloud9-cloudsuite/cloud9
KLEE: NOTE: Using model: /home/ub/cloud9-cloudsuite/cloud9/Release+Asserts/lib/libkleeRuntimePOSIX.bca
[-946684799.-84Worker<   >: Debug:      Using Klee path /home/ub/cloud9-cloudsuite/cloud9
KLEE: output directory = "klee-out-7"
[-946684799.-84Worker<   >: Info:       Instrumentation started
KLEE: WARNING: undefined reference to function: __ctype_b_loc
KLEE: WARNING: undefined reference to function: __libc_fcntl
KLEE: WARNING: undefined reference to function: __signbitl
KLEE: WARNING: undefined reference to function: freelocale
KLEE: WARNING: undefined reference to function: iconv
KLEE: WARNING: undefined reference to function: iconv_open
KLEE: WARNING: undefined reference to function: newlocale
KLEE: WARNING: undefined reference to function: strncpy
KLEE: WARNING: undefined reference to function: strtold_l
KLEE: WARNING: undefined reference to function: kill (UNSAFE)!
[-946684799.-65Worker<   >: Info:       Using the regular strategy stack
KLEE: WARNING: executable has module level assembly (ignoring)
KLEE: ERROR: unable to load symbol(__dso_handle) while initializing globals.
[-946684797.-99Worker<   >: Info:       Instrumentation interrupted. Stopping.

The commands that I used for are:

llvm-2.9:

./configure --enable-optimized --enable-assertions
make

klee-c9-uclibc

./configure --with-llvm=/home/ub/cloud9-cloudsuite/llvm-2.9
make

cloud9

./configure --with-llvm=/home/ub/cloud9-cloudsuite/llvm-2.9 --with-uclibc=/home/ub/cloud9-cloudsuite/klee-c9-uclibc --enable-posix-runtime --enable-optimized
make