Hi
I am trying to pass a large string as "name" argument into
klee_make_symbolic which resulted in a "buffer overflow detected" error .
My trial program as follow
#include <klee/klee.h>
int main(int argc, const char* argv[] ){
unsigned short x;
klee_make_symbolic(&x, sizeof(x), "1234567890123456789012");
printf("%x\n", x);
return 0;
}
Could anybody kindly tell me how to increase the maximum size of argument
"name" in klee program?
Thank you very much
Trang
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
