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!_______________________________________________
klee-dev mailing list
klee-dev@imperial.ac.uk
https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
