[klee-dev] .kteest & .kquery files

[Frank Busse]

Hi,


On Wed, 23 Jun 2021 23:30:29 +0800
Pansilu Pitigalaarachchi <pansilu.pitigalaarachchi at gmail.com> wrote:

> *.ktest files*
> I was able to use KLEE generated .ktest files in seed mode. My current
> requirement is to dictate a portion of a parth in the form of a seed.
> Therefore, I would like to craft .ktest files to be used as a seed.
> Can I please know if there is any documentation or info on the
> content/format & attributes of a .ktest file that I can follow in my
> attempt to craft .ktest files of my choice.

The ktest format is quite simple:

https://github.com/klee/klee/blob/df04aeadefb4e1c34c7ef8b9123947ff045a34d9/include/klee/ADT/KTest.h#L24

https://github.com/klee/klee/blob/292600cf54d5fd73278f67a4f98c2f955cbdaa10/lib/Basic/KTest.cpp#L94

Or if you prefer Python:

https://github.com/klee/klee/blob/df04aeadefb4e1c34c7ef8b9123947ff045a34d9/tools/ktest-tool/ktest-tool#L30

But maybe https://klee.github.io/docs/tools/#gen-bout (gen-bout) solves
your problem already.


Kind regards,

Frank