Hello
I'm starting with klee, I build llvm 2.8 an klee in ubuntu11.10
and I build COREUTILS 6.10 and 6.11
I'm trying to reproduce some examples of the paper OSDI-2008
But I really don't know if it's working. I don't know what results I must
obtain.
I followed all the tutorials of klee (and it seems working). And I tried to
search information in the mailing list
but then when I try to execute the cases of the paper I think I not doing
correctly.
I hope someone can help me, for know how to start.
my questions in general are:
1.- How I know that is correct the output of klee? What is the meaning of
the error write error
: Input/output errorTry?
2.- How I can found that for tr.bc the error is "a buffer overflow error at
line 18 of figure 1" of the paper? It must be an test000XX.error in the
cases generates? because I don't have it in my results
3.- I must have a error case with (tr [ "" "")
¿How can I reproduce the error exactly? for see that is crashing
4.- Someone know how I can continue learning about klee (more papers,
tutorials, examples). I search a lot but I didn't find too much
information. only sumarys of the OSDI and the klee official work.
One case that I executed
Case 1:
#klee --max-time 2 --libc=uclibc --posix-runtime --init-env ./tr.bc
--sym-args 1 10 10 --sym-files 2 2000 --max-fail 1
KLEE: NOTE: Using model:
/home/marta/llvm2.8_2/klee/Release+Asserts/lib/libkleeRuntimePOSIX.bca
KLEE: output directory = "klee-out-18"
KLEE: WARNING: function "vasnprintf" has inline asm
KLEE: WARNING: undefined reference to function: __signbitl
KLEE: WARNING: undefined reference to function: __xstat64
KLEE: WARNING: undefined reference to function: klee_get_valuel
KLEE: WARNING: executable has module level assembly (ignoring)
KLEE: WARNING: calling external: syscall(54, 0, 21505, 185469936)
KLEE: WARNING: calling __user_main with extra arguments.
KLEE: WARNING: calling external: __xstat64(3, 185393256, 185647888)
missing operand
KLEE: WARNING: calling external: vprintf(184733344, 185645008)
Try `./tr.bc --help' for more information.
KLEE: WARNING: calling close_stdout with extra arguments.
write error
: Input/output errorTry `./tr.bc --help' for more information.
Try `./tr.bc --help' for more information.
./tr.bc: option `�m
@5
8�' is ambiguous
Try `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
write error
: Input/output errorTry `./tr.bc --help' for more information.
KLEE: HaltTimer invoked
KLEE: halting execution, dumping remaining states
KLEE: done: total instructions = 322745
KLEE: done: completed paths = 33
KLEE: done: generated tests = 33
________________________________________________________
when I try to see the results they looks like:
$ klee-replay ./tr.bc ../../obj-llvm/src/klee-last/*.ktest
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000001.ktest
klee-replay: ARGS: "./tr.bc" "--"
/usr/bin/lli-2.9: missing operand
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (1 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000002.ktest
klee-replay: ARGS: "./tr.bc" "--"
/usr/bin/lli-2.9: missing operand
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000003.ktest
klee-replay: ARGS: "./tr.bc" "--"
/usr/bin/lli-2.9: missing operand
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000004.ktest
klee-replay: ARGS: "./tr.bc" "--"
/usr/bin/lli-2.9: missing operand
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000005.ktest
klee-replay: ARGS: "./tr.bc" "--"
/usr/bin/lli-2.9: missing operand
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000006.ktest
klee-replay: ARGS: "./tr.bc" "--="
./tr: la opción «--=» es ambigua
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000007.ktest
klee-replay: ARGS: "./tr.bc" "--="
./tr: la opción «--=» es ambigua
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000008.ktest
klee-replay: ARGS: "./tr.bc" "--="
./tr: la opción «--=» es ambigua
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000009.ktest
klee-replay: ARGS: "./tr.bc" "--=@"
./tr: la opción «--=@» es ambigua
Try `./tr --help' for more information.
.....
And ther rest of the cases are similar till arrive the last one
...
klee-replay: TEST CASE: ../../obj-llvm/src/klee-last/test000029.ktest
klee-replay: ARGS: "./tr.bc" "--=@@@@@@@"
./tr: la opción «--=@@@@@@@» es ambigua
Try `./tr --help' for more information.
klee-replay: EXIT STATUS: ABNORMAL 1 (0 seconds)
ERROR: ran out of appropriate inputs
Thanks very much
Regards
Marta
_______________________________________________
klee-dev mailing list
[email protected]
http://keeda.Stanford.EDU/mailman/listinfo/klee-dev
