Hi Sree, There is no support for doing this from the command-line, but you can restrict the symbolic arguments to only contain digits by adding some calls to klee_assume() in klee_init_env.c.
Best, Cristian On 10/10/10 16:46, Sreekumar Kodakara wrote: > Hi, > First of all, thanks for creating KLEE. Experience with the tool till > now has been great. > I have a question on using -sym-arg parameter when using klee. I have a Yo > program that takes numbers as input. I would like to use -sym-arg N (N > is the number of characters), and I would like to restrict the > characters being generated to be valid numbers. In other words, it > should give as input to the program a valid number of length N. Any > other character will give an error when the program is run (and that > path is well tested in the program). Is this possible to do that with klee? > Thanks > Sree >
