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
