Yes, I think KLEE has discovered an out-of-bound memory access. It could be that pathname is NULL.
Best, Andrew On Sat Jun 17 2017 11:17:36 GMT+0800 (SGT), Nourah mmm <[email protected]> wrote: 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 <[email protected]> and I-Jui Sung<[email protected]> 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 _______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
