Hi,
1) You can use klee_assume to restrict the argument to contain only
digits. See http://klee.llvm.org/Tutorial-2.html for more details.
2) Yes, you can have both concrete and symbolic arguments. E.g.,
$ klee --libc=uclibc --posix-runtime prog.bc --sym-arg 1 abc
runs prog.bc with one symbolic argument of size 1, and one concrete
argument "abc".
Cristian
On 04/03/2012 04:28 PM, amitaï madar wrote:
>
>
> 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
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
