[klee-dev] Running Coreutil with Klee

[Christopher Hobbs]

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