[klee-dev] Running Coreutil with Klee

[Zaman, Tarannum]

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 <chobbs at qnx.com> 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: *klee-dev at imperial.ac.uk
> *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
>
>
-------------- next part --------------
HTML attachment scrubbed and removed