[klee-dev] Can klee modify ktest file?

[Frank Busse]

Hi,


On Tue, 5 Jan 2021 15:01:48 +0800
JingXiaoni <jingxiaoni at icloud.com> wrote:

> My question is how can I do to make the ktest can replay normally.For
> example:there is a way to delete the symbols in ktest file to make
> the ktest symbols are corresponding to the modified target test code.

The ktest file format is quite simple. You could extend ktest-tool
(Python script) to write a new file with adapted object/argument
counters and filter objects by their name.


Kind regards,

Frank