[klee-dev] klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer

[Nourah mmm]

Hi,

After running KLEE on Stencil Benchmark( within Parboil benchmarks). I
encountered this error:
-----------------------------------------------------------------------------------------------------------
klee --libc=uclibc --posix-runtime all.bc 128 128 32 100
'/home/parboil/datasets/stencil/small/input/128x128x32.bin'
KLEE: NOTE: Using klee-uclibc :
/home/klee/Release+Asserts/lib/klee-uclibc.bca
KLEE: NOTE: Using model:
/home/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca
KLEE: output directory is "/home/klee/examples/stencil/klee-out-36"
Using STP solver backend
KLEE: WARNING: undefined reference to function: klee_posix_prefer_cex
KLEE: WARNING ONCE: calling external: syscall(16, 0, 21505, 36697536)
KLEE: WARNING ONCE: calling __user_main with extra arguments.
KLEE: WARNING ONCE: calling external: printf(31963744)

CPU-based 7 points stencil codes****
Original version by Li-Wen Chang <lchang20 at illinois.edu> and I-Jui Sung<
sung10 at illinois.edu>
This version maintained by Chris Rodrigues  ***********
KLEE: WARNING ONCE: calling external: gettimeofday(30721744, 0)
KLEE: ERROR: /home/klee/runtime/POSIX/fd.c:40: memory error: out of bound
pointer
KLEE: NOTE: now ignoring this error at this location

KLEE: done: total instructions = 8411
KLEE: done: completed paths = 1
KLEE: done: generated tests = 1
-------------------------------------------------------------------------------------------------
Note that I'm I'm using LLVM 3.4.2.

The error pointing on the following line in fd.c:
  char c = pathname[0];

Is this consider as a bug in KLEE?

Best regards,
Nourah
-------------- next part --------------
HTML attachment scrubbed and removed