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

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 wrote: Hi,  After running KLEE on Stencil Benchmark( within Parboil benchmarks). I encountered this

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

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