Skip to content

Instantly share code, notes, and snippets.

Embed
What would you like to do?
Script To Get KLEE Results, and Example Output
for i in klee-last/*assert*; do \
ktest-tool $(echo $i | cut -f 1 -d '.').ktest; \
done
#My Output:
#ktest file : 'klee-last/test000178.ktest'
#args : ['maze_klee.bc']
#num objects: 1
#object 0: name: 'syminput'
#object 0: size: 28
#object 0: data: 'sddwddddsddw\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000270.ktest'
#args : ['maze_klee.bc']
#num objects: 1
#object 0: name: 'syminput'
#object 0: size: 28
#object 0: data: 'ssssddddwwaawwddddsddw\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000315.ktest'
#args : ['maze_klee.bc']
#num objects: 1
#object 0: name: 'syminput'
#object 0: size: 28
#object 0: data: 'sddwddddssssddwwww\x00\x00\x00\x00\x00\x00\x00\x00\x00\x00'
#ktest file : 'klee-last/test000376.ktest'
#args : ['maze_klee.bc']
#num objects: 1
#object 0: name: 'syminput'
#object 0: size: 28
#object 0: data: 'ssssddddwwaawwddddssssddwwww'
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
You can’t perform that action at this time.