Hi, Thanks a lot Chirstopher for the reply. I have run the following command:
klee --libc=uclibc --posix-runtime ./mv.bc --sym-arg 1 But, In the above command, I am confused about the actual work of the sysm-arg 1 parameter. Is it for moving just one file to another? If I want to generate test case for one move operation like: mv source destination, what command should I put in klee? Thanks Shaila On Thu, Jan 7, 2016 at 12:06 AM, Christopher Hobbs <[email protected]> wrote: > One question is how brave are you willing to be? > > Remember that klee will actually perform the command and so will attempt > to move things. If you're prepared for that simply "man mv" and see how > many parameters it takes and let klee go for it. > > One thing that klee might try is "mv -r /home /dev/null" which, if you're > running as root, could be interesting. > > Chris Hobbs > QNX Software Systems > > Gesendet von meinem BlackBerry 10-Smartphone. > *Von: *Zaman, Tarannum > *Gesendet: *Thursday, January 7, 2016 15:59 > *An: *[email protected] > *Betreff: *[klee-dev] Running Coreutil with Klee > > Hi, > > In the tutorial of running coreutil with klee, There is an example of > running echo with a symbolic argument of 3 characters with the following > command: > > klee --libc=uclibc --posix-runtime ./echo.bc --sym-arg 3 > > If I want to run the mv program of coreutil with klee,with a symbolic argument > what command should I use? > > Thanks > > Shaila > >
_______________________________________________ klee-dev mailing list [email protected] https://mailman.ic.ac.uk/mailman/listinfo/klee-dev
