> > In STPBuilder.cpp::STPBuilder::getInitialArray function, > These two code lines are using provided symbol name to create a stp > expression, > the problem is the buf size is too small for your case. You may change it > into larger value. > But you do not need to change '32' in buildArray function call since it's > bits width, I think. > > 1. char buf[32]; > 2. sprintf(buf, "%s_%p", root->name.c_str(), (void*) root); > 3. root->stpInitialArray = buildArray(buf, 32, 8); > > Thanks, > Super > > 2012/1/19 Trần Thị Thùy Trang <[email protected]> > >> 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 >> >> >
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
