[klee-dev] Out of bound pointer

Hi, When the run reach the following part of code it results in ../klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer. .err - Error: memory error: out of bound pointer File:

Re: [klee-dev] Out of bound pointer

Hi Nora,  Could you please provide a more complete example, perhaps a runnable one?  Andrew Sent from Yahoo Mail on Android On Thu, Jun 22, 2017 at 10:51 PM, Nourah mmm wrote: Hi, When the run reach the following part of code it results in ../klee/runtime/POSIX/fd.c:40: