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<[email protected]> wrote: 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: /home/naloboud/klee/runtime/POSIX/fd.c Line: 40 assembly.ll line: 4453 Stack: #000004453 in open (pathname=0, flags=0) at /home/naloboud/klee/runtime/POSIX/fd.c:40 #100002536 in _stdio_fopen (fname_or_mode=0, mode=45350704) at /home/naloboud/klee-uclibc/libc/stdio/_fopen.c:146 #200001602 in __user_main (argc=10, argv=39032928) at /home/naloboud/klee-uclibc/libc/stdio/fopen.c:20 #300004027 in main (=10, =39032928) at /home/naloboud/klee-uclibc/libc/misc/internals/__uClibc_main.c:401 Info: address: 0 next: object at 30964048 of size 18 MO50[18] allocated at main(): %k_termios.i.i1.i.i.i = alloca %struct.__kernel_termios.448, align 4 ------------------------------------------------------------------------------------------------------- The code: float *h_A0; float *h_Anext; size=nx*ny*nz; printf("2\n"); h_A0=(float*)malloc(sizeof(float)*size); h_Anext=(float*)malloc(sizeof(float)*size); FILE *fp = fopen(parameters->inpFiles[0], "rb"); read_data(h_A0, nx,ny,nz,fp); fclose(fp); printf("3\n"); memcpy (h_Anext,h_A0 ,sizeof(float)*size); printf("4\n"); Please help Thank you in advance Nora _______________________________________________ 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
