Hi, I try to run KLEE on cutcp benchmark from (Parboil Benchmarks <http://impact.crhc.illinois.edu/parboil/parboil.aspx>). The benchmark consists from the following program: main.c parboil.c readatom.c cutcpu.c excl.c output.c
First I compile it with the following command: myclang -I /home/klee/klee_src/include -emit-llvm -c -g main.c parboil.c readatom.c cutcpu.c excl.c output.c Then, I run KLEE with this command: myklee --posix-runtime --libc=uclibc --link-llvm-lib=parboil.bc --link-llvm-lib=cutcpu.bc --link-llvm-lib=excl.bc --link-llvm-lib=output.bc --link-llvm-lib=readatom.bc ./main.bc -i /home/naloboud/parboil/datasets/cutcp/small/input/watbox.sl40.pqr However I get this error: KLEE: NOTE: Using model: /home//klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca KLEE: Linking in library: parboil.bc. KLEE: Linking in library: cutcpu.bc. KLEE: Linking in library: excl.bc. KLEE: Linking in library: output.bc. KLEE: Linking in library: readatom.bc. KLEE: output directory is "/home//klee/examples/cutcap/./klee-out-10" Using STP solver backend KLEE: WARNING: undefined reference to function: __isoc99_sscanf KLEE: WARNING: undefined reference to function: ceilf KLEE: WARNING: undefined reference to function: fabs KLEE: WARNING: undefined reference to function: feof KLEE: WARNING: undefined reference to function: fgets KLEE: WARNING: undefined reference to function: floorf KLEE: WARNING: undefined reference to function: fmaxf KLEE: WARNING: undefined reference to function: fminf KLEE: WARNING: undefined reference to function: klee_posix_prefer_cex KLEE: WARNING: undefined reference to function: sprintf KLEE: WARNING: undefined reference to function: sqrtf KLEE: WARNING ONCE: calling external: syscall(16, 0, 21505, 53351024) KLEE: WARNING ONCE: calling __user_main with extra arguments. KLEE: WARNING ONCE: calling external: gettimeofday(53752832, 0) KLEE: WARNING ONCE: calling external: fgets(53760304, 96, 53770848) KLEE: ERROR: /home//klee/examples/cutcap/readatom.c:44: failed external call: fgets KLEE: NOTE: now ignoring this error at this location KLEE: done: total instructions = 12343 KLEE: done: completed paths = 1 KLEE: done: generated tests = 1 Could you please help me with that? Thanks Nourah
_______________________________________________ klee-dev mailing list klee-dev@imperial.ac.uk https://mailman.ic.ac.uk/mailman/listinfo/klee-dev