Hi All.I have 2 questions: 1) I run KLEE on a program with symbolic argument like this --init-env ./test.o --sym-arg 1.I know that my program argument is an int ( there is an call for atoi in the program).I get a lot of "junk" test because KLEE try different things as input like @ or A or ` etc (7 type of strings).Is there a way to tell KLEE only to try string of number? ( without redefining the program as a function and call klee_make_symbolic)This become a lot more problematic with more than 1 argument and length greater than 1 ( number of junk test explode) making the run a lot slower. 2) Is there a way to send some arguments symbolic and some not? for example I have 5 arguments I want the first 3 to be symbolic and to send the last 2 myself. Thanks.
_______________________________________________ klee-dev mailing list [email protected] http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
