[klee-dev] I am so sorry for my mistake made in my previous post titled as " Excuse me，i maybe find an error which is in the implementation of KLEE"

[曾杰]

Hi, all,      Just a few hours ago, i send a post titled as " Excuse me，i maybe find an error which is in the implementation of KLEE".
     i know what is the mistake i made. That is, valgrind cannot check memory error about allocated array which is statically allocated in stack like the form as below, so cannot find the out of bound error.
     int main()
     {
           int re[7];
           re[7]=100;
     }
     Best wishes for you!
-------------- next part --------------
HTML attachment scrubbed and removed